mpcsh / ForML
Bachelor's thesis 2019
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ForML
- language verification, construction, and analysis☆20Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆12Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated last year
- secret project☆17Updated 6 years ago
- Proof of concept to generate safe and fast JavaScript☆25Updated 2 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- Nested Relational Calculus embedded in Haskell☆16Updated 12 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- Experimental functional language☆18Updated 2 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆26Updated last year
- A simple implementation of linear type theory☆38Updated 7 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago