argumentcomputer / yatima-lang-alpha
A programming language for the decentralized web
☆448Updated last year
Related projects ⓘ
Alternatives and complementary repositories for yatima-lang-alpha
- A Standard ML Compiler for the Web☆385Updated 2 years ago
- The parallel, concurrent, and functional programming language for scalable software development☆448Updated this week
- A functional programming language with static memory management☆841Updated this week
- A minimal decentralized computer.☆121Updated 2 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- A typed, polyglot, functional language☆195Updated last week
- My personal repository of formally verified mathematics.☆291Updated 3 weeks ago
- A small extensible programming language designed for concise expression with little code.☆1,051Updated 2 months ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- a datalog interpreter in typescript☆208Updated last month
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆603Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆277Updated 3 weeks ago
- Haskell In New Clothes☆111Updated 4 years ago
- Hazel, a live functional programming environment with typed holes☆803Updated this week
- TopShell - a purely functional, reactive scripting language☆483Updated 3 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆610Updated 3 years ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- A list of projectional and structural editors☆339Updated 5 months ago
- The compiler for Keli☆171Updated 5 years ago
- The Egison Programming Language☆912Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆220Updated 9 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆334Updated this week
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- ☆197Updated 4 months ago
- A categorical programming language with effects☆267Updated last year