faiface / par-langLinks
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
☆468Updated last week
Alternatives and similar repositories for par-lang
Users that are interested in par-lang are comparing it to the libraries listed below
Sorting:
- Inpla: Interaction nets as a programming language (the current version)☆311Updated 11 months ago
- an experimental new programming language based on interaction nets☆304Updated last week
- A modern supercompiler for call-by-value functional languages☆424Updated last month
- A garden of small programming language implementations 🪴☆287Updated this week
- Temporary repository for Kind2's refactor based on HVM2☆280Updated last year
- ☆119Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆395Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆223Updated 11 months ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- A Language with Dependent Data and Codata Types☆121Updated last week
- OCaml - Oxidized!☆506Updated last week
- ☆212Updated last year
- ☆495Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year
- Pure functional programming with whole-program mutability inference☆75Updated 2 months ago
- Hazel, a live functional programming environment with typed holes☆1,038Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆204Updated this week
- A menagerie of cute implementations of modern typechecking algorithms☆322Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- A functional programming language with shell scripting capabilities☆122Updated 2 months ago
- Haskell implemented with combinators☆607Updated last week
- Systems language with linear types and capability-based security.☆1,388Updated 2 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆78Updated last week
- Fir programming language☆75Updated this week
- Interaction net resources☆32Updated last month
- ☆234Updated last month
- A minimal proof checker.☆75Updated last year
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- A language server for Standard ML in Rust.☆229Updated last week
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆910Updated 6 months ago