HouQiming / ama
A system to amalgamate any features you want into any language you need
☆26Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ama
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- Pocket sized programs☆54Updated this week
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆30Updated 3 weeks ago
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- The Egel Programming Language☆80Updated last month
- WIP stack language that uses regex for control flow☆41Updated last year
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- Simple conservative GC using mimalloc☆38Updated 2 years ago
- A high-level programming language☆36Updated last month
- A toy programming language.☆37Updated 10 months ago
- The future of programming.☆70Updated 3 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆60Updated 3 years ago
- The Nox programming language☆29Updated last year
- ☆27Updated last year
- Hindley–Milner Type inferencing in C☆49Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- A website for the #proglangdesign community on freenode☆109Updated 3 weeks ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- Like APL, but with emojis☆16Updated 2 years ago
- An esoteric RPN golfing language☆24Updated 2 years ago
- The Core Programming Language☆45Updated last week
- ☆51Updated 2 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago
- A programmable virtual CPU written in untyped lambda calculus☆47Updated 2 years ago
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆83Updated 2 weeks ago
- SKI combinators☆50Updated 7 years ago