alantech / alan
Autoscalable Programming Language
☆304Updated this week
Related projects: ⓘ
- A small extensible programming language designed for concise expression with little code.☆1,038Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,089Updated last year
- You might not need your garbage collector☆534Updated 4 years ago
- Systems language with linear types and capability-based security.☆1,111Updated 2 months ago
- Compiler for the Mirth programming language.☆445Updated last month
- Differential dataflow for mere mortals☆513Updated 2 years ago
- A fast functional language based on two level type theory☆388Updated last year
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆205Updated this week
- Pointless: a scripting language for learning and fun☆121Updated 3 years ago
- A dependently-typed programming language with static memory management☆839Updated this week
- The practical relational programing language for data-oriented applications☆189Updated last year
- The compiler for Keli☆171Updated 5 years ago
- TopShell - a purely functional, reactive scripting language☆482Updated 3 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆270Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆811Updated 5 months ago
- ☆1,019Updated last year
- The parallel, concurrent, and functional programming language for scalable software development☆447Updated this week
- Cell compiler☆113Updated last year
- Data interchange with algebraic data types.☆588Updated 2 weeks ago
- ☆165Updated this week
- A portable programming language with a compact intermediate representation☆724Updated last year
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆238Updated this week
- Modern low-level programming language☆769Updated 4 months ago
- A declarative concatenative programming language☆159Updated 3 weeks ago
- A human readable quasi-concatenative programming language☆237Updated this week
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆600Updated last year
- ⚜︎ A language that compiles to WebAssembly☆420Updated last week
- ☆197Updated 2 months ago
- Claro Lang☆138Updated 4 months ago
- A language for building concurrent software with confidence☆872Updated this week