mpcsh / ForMLLinks
Bachelor's thesis 2019
☆12Updated last year
Alternatives and similar repositories for ForML
Users that are interested in ForML are comparing it to the libraries listed below
Sorting:
- language verification, construction, and analysis☆20Updated 3 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 2 years ago
- A type-safe, stack-based functional programming language☆16Updated 3 months ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 11 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Nested Relational Calculus embedded in Haskell☆16Updated 12 years ago
- An interpreter of F-ing modules☆19Updated 5 years ago
- Formalism and proofs for esverify☆20Updated 7 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- A mini language for logic programming☆24Updated 4 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Purely functional map and set data structures☆36Updated last year
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Demystifying the magic of supertactics☆13Updated 3 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago