manool
Prototype language
A language designed to help developers create prototype code quickly and then refactor it into production-ready code
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
62 stars
5 watching
3 forks
Language: C
last commit: 5 months ago compilerdevelopmentdynamically-typedfunctionalfunctional-corefunctional-languagefunctional-programminggeneral-purposehomoiconicimperativeimperative-programminginterpretermulti-paradigmpracticalproceduralprocedural-programmingprogrammingprogramming-languagesoftware-developmentstrongly-typed
Related projects:
| Repository | Description | Stars |
|---|---|---|
 storyyeller/cubiml-demo | A language prototype with subtyping and type inference for teaching cubic biunification algorithms | 163 |
 samskivert/compose | An experimental programming language aiming to be teachable, scalable, and powerful while minimizing complexity. | 18 |
 alanvf/star | An experimental programming language designed to be powerful, productive, and predictable with features like type specialization and rich standard libraries. | 128 |
 uniconproject/unicon | A high-level programming language with a dynamic type system and support for various CPU architectures. | 57 |
 astampoulis/makam | A tool for rapid language prototyping with a modular and concise type system based on higher-order logic programming. | 194 |
 sviperll/argo | Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance. | 10 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,092 |
 rsms/wlang | Develops an assembler and compiler for a programming language | 47 |
 contextfreeinfo/rio | A programming language in development that aims to provide a safe, tiny, flexible, and fast compilation model | 98 |
 zatonovo/lambda.r | A programming language and syntax for functional programs in R with type checking and pattern matching | 215 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 glouw/rr | A programming language and its runtime environment with features such as dynamic typing, garbage collection, and support for various data structures. | 67 |
 marcopennekamp/lore | A general-purpose programming language with multi-functions, structs, traits, and a static type system for functional and imperative programming. | 17 |
 usethesource/rascal | An implementation of a meta-programming language with features like type checking and code generation | 406 |
 1whatleytay/kara | A high-performance, statically typed programming language designed to simplify development while maintaining speed. | 14 |