Mathnerd314 / stroscotLinks
The Stroscot Programming Language
☆13Updated last year
Alternatives and similar repositories for stroscot
Users that are interested in stroscot are comparing it to the libraries listed below
Sorting:
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Statically typed, high-level functional programming language.☆17Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 3 weeks ago
- small programming language. pls be gentle.☆39Updated 2 months ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Stack-based esoteric programming language☆18Updated 4 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Efficient parser combinators for Haskell☆39Updated 3 weeks ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- ICFP tutorial☆39Updated 3 years ago
- ☆12Updated 4 years ago
- A simple functional programming language.☆21Updated 4 years ago
- Components of programming languages, all implemented in self-contained files☆9Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- NanoVG Haskell bindings☆22Updated 2 years ago
- strictly is a declarative programming language for interactive web-components☆10Updated last year
- ☆39Updated 10 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- "operating system" based on the calculus of constructions☆18Updated 3 years ago