danilopedraza / komodo
The Komodo programming language code repository
☆11Updated last month
Alternatives and similar repositories for komodo
Users that are interested in komodo are comparing it to the libraries listed below
Sorting:
- RowLang is a minimalistic esoteric programming language written as an analogy to rowing.☆20Updated 10 months ago
- Find the most starred repositories per line of code in the language of your choice☆12Updated last year
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆16Updated last year
- minimalistic symbolic term rewriting framework☆15Updated last week
- Programming Languages Grammar House (BNF like grammars)☆27Updated 8 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- Vic's *Nix config.☆16Updated last week
- The Flix Programming Book☆17Updated last month
- [Proof of Concept] Embedded functional scripting language with YAML ¯\_(ツ)_/¯☆14Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Neovim plugin for forester☆16Updated 6 months ago
- An optimizing Brainfuck interpreter.☆13Updated 6 years ago
- ☆53Updated last month
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 6 months ago
- Transform the collected configurations into various target configurations, inheriting the art of simplifying complexity. Additionally, it…☆12Updated 2 weeks ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- C style wrapper for winit - Cross-platform window creation and management in Rust☆12Updated 3 months ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆12Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- ☆14Updated 2 years ago
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆35Updated last week
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Updated last year
- A concatenative cyborg chimera.☆10Updated 4 months ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 4 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆18Updated 4 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated this week
- A minimalist / functional / dataflow programming language☆13Updated last year
- θ A statically typed, functional programming language that compiles to WebAssembly☆39Updated 6 months ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆21Updated 2 weeks ago