argumentcomputer / yatima-lang-alpha
A programming language for the decentralized web
☆447Updated last year
Related projects ⓘ
Alternatives and complementary repositories for yatima-lang-alpha
- A functional programming language with static memory management☆841Updated this week
- A Standard ML Compiler for the Web☆385Updated 2 years ago
- The parallel, concurrent, and functional programming language for scalable software development☆449Updated this week
- A typed, polyglot, functional language☆195Updated this week
- A fast functional language based on two level type theory☆388Updated last year
- 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,091Updated last year
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆766Updated 3 months ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- Hazel, a live functional programming environment with typed holes☆799Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆277Updated last week
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- a tiny tile-based editor☆284Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆610Updated 3 years ago
- My personal repository of formally verified mathematics.☆291Updated 2 weeks ago
- A small extensible programming language designed for concise expression with little code.☆1,050Updated 2 months ago
- TopShell - a purely functional, reactive scripting language☆483Updated 3 years ago
- a datalog interpreter in typescript☆208Updated last month
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Haskell In New Clothes☆111Updated 4 years ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆603Updated last year
- The Egison Programming Language☆912Updated last year
- The compiler for Keli☆171Updated 5 years ago
- ☆197Updated 4 months ago
- A categorical programming language with effects☆267Updated last year
- A pure functional language for type-level programming in Rust☆322Updated 2 years ago
- You might not need your garbage collector☆535Updated 4 years ago