boba
Concatenative compiler
A language and compiler for a statically-typed concatenative programming paradigm.
A general purpose statically-typed concatenative programming language.
51 stars
2 watching
3 forks
Language: F#
last commit: over 3 years agocompilerconcatenativelanguageprogramming-languagetype-inference
Related projects:
| Repository | Description | Stars |
|---|---|---|
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 621 |
 hackerfoo/poprc | A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation | 244 |
 draco-lang/compiler | A C# compiler project for a new .NET programming language. | 106 |
 pointbazaar/espl1000 | A compiler for a statically typed programming language designed for embedded systems, targeting the ATMega328P microcontroller. | 29 |
 overscript-lang/overscript | A C# implementation of a simple, statically-typed language suitable for embedded and standalone applications. | 16 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 389 |
 fusionlanguage/fut | Tools and infrastructure to implement reusable components in multiple programming languages from a single codebase. | 1,768 |
 ainfosec/crema | A compiler and runtime system for executing a minimalist programming language in sub-Turing Complete space. | 64 |
 compiling-to-categories/concat | Compiling to categories involves translating Haskell programs into more expressive mathematical frameworks. | 439 |
 mlatu-lang/mlatu | A declarative concatenative programming language implemented in Rust using term rewriting as an evaluation model. | 158 |
 kiselgra/c-mera | A source-to-source compiler system for C-like languages using Lisp's macro system. | 411 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
 davidgiven/cowgol | A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 247 |
 barn-lang/barn | A simple programming language written in C that is compiled to C. | 53 |
 stonkdragon/scale | A procedural concatenative stack-oriented compiled programming language inspired by Lua and Porth. | 17 |