Skip to content
@Proglang-Uni-Freiburg

Proglang-Uni-Freiburg

  • Germany

Popular repositories Loading

  1. minirust minirust Public

    an interpreter for a subset of the rust language with main focus on algebraic data types + pattern matching

    Rust 1

  2. Algorithms-for-Compiler-Construction-in-Python Algorithms-for-Compiler-Construction-in-Python Public

    A masterprojekt Repository

    Python 1

  3. eventBasedTracer eventBasedTracer Public

    Python 1

  4. LockFrame LockFrame Public

    C++

  5. stlc-mod-isom stlc-mod-isom Public

    Haskell

  6. optimize_recursion optimize_recursion Public

    Rust

Repositories

Showing 10 of 17 repositories
  • affe-ffi Public

    An Ocaml ffi for Affe

    Proglang-Uni-Freiburg/affe-ffi’s past year of commit activity
    OCaml 0 0 0 0 Updated Apr 18, 2024
  • FGJ-inference Public

    Type inference for FGJ

    Proglang-Uni-Freiburg/FGJ-inference’s past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Apr 1, 2024
  • rufego Public

    RUst FEatherweight GO

    Proglang-Uni-Freiburg/rufego’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Mar 26, 2024
  • Lexical-Analysis Public Forked from Mieschendahl/Lexical-Analysis

    A project that contains the implementations of the algorithms described in Leonardo Mieschendahl's Master's Thesis.

    Proglang-Uni-Freiburg/Lexical-Analysis’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Feb 15, 2024
  • Frho Public
    Proglang-Uni-Freiburg/Frho’s past year of commit activity
    Rust 0 MIT 1 0 0 Updated Jan 2, 2024
  • superoptimizer_with_program_synthesis_bachelors_thesis Public
    Proglang-Uni-Freiburg/superoptimizer_with_program_synthesis_bachelors_thesis’s past year of commit activity
    Python 0 0 0 0 Updated Nov 21, 2023
  • PythonTex-Extension Public Forked from gpoore/pythontex

    A LaTeX package that executes Python and other code in LaTeX documents, and includes the output

    Proglang-Uni-Freiburg/PythonTex-Extension’s past year of commit activity
    Python 0 128 0 0 Updated Oct 24, 2023
  • PythonAnnotations Public

    This is the code used to analyze Python type annotations in my bachelor thesis.

    Proglang-Uni-Freiburg/PythonAnnotations’s past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Oct 23, 2023
  • c2ast Public

    mapping classical, regular session types into algebraic session types

    Proglang-Uni-Freiburg/c2ast’s past year of commit activity
    TeX 0 BSD-2-Clause 0 0 0 Updated Oct 21, 2023
  • eventBasedTracer Public
    Proglang-Uni-Freiburg/eventBasedTracer’s past year of commit activity
    Python 1 BSD-3-Clause 0 0 0 Updated Oct 11, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…