Small powerful micro scripting language <1K SLOC
☆62Oct 5, 2025Updated 4 months ago
Alternatives and similar repositories for filli
Users that are interested in filli are comparing it to the libraries listed below
Sorting:
- ☆11Nov 16, 2021Updated 4 years ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Jul 27, 2018Updated 7 years ago
- A minimal Z80 implementation.☆23Jan 29, 2022Updated 4 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 10 years ago
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated 3 weeks ago
- ☆13Updated this week
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 5 months ago
- ☆14Nov 4, 2025Updated 3 months ago
- A modular compiler framework for Brainfuck-like languages☆12Dec 4, 2024Updated last year
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- (Hopefully) a compiler for my first language named "Pie"☆22Feb 7, 2026Updated 3 weeks ago
- A library for creating and patching binary diffs. Based on bsdiff.☆11Nov 23, 2014Updated 11 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Jul 12, 2022Updated 3 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 weeks ago
- Soft floating point☆42Nov 21, 2025Updated 3 months ago
- re1, the unbloated regexp engine by Russ Cox, elaborated to be useful for real-world applications☆47May 7, 2019Updated 6 years ago
- Glide is an interpreted javascript VM written entirely in safe rust.☆16Sep 25, 2023Updated 2 years ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- terminal hex editor☆19Jan 12, 2026Updated last month
- Pull your compiler up with abstract bootstraps.☆31Dec 15, 2022Updated 3 years ago
- A DSL and command-line tool for generating binary files.☆36Apr 29, 2021Updated 4 years ago
- Use the Rust compiler as a hex viewer☆17Aug 25, 2022Updated 3 years ago
- A very boring programming language☆12Aug 19, 2025Updated 6 months ago
- A simple web browser in lua☆12Jan 10, 2024Updated 2 years ago
- A Datalog Framework for Python☆16Mar 8, 2023Updated 2 years ago
- pure-python C types packer/unpacker☆19Mar 1, 2020Updated 6 years ago
- A tool for dependencies validation for ninja build system using strace to detect the real dependencies☆16Nov 12, 2018Updated 7 years ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 5 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 7 months ago
- Atmosphere and planet rendering playground.☆25Jan 4, 2026Updated last month
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Feb 26, 2023Updated 3 years ago
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- A WIP little dependently-typed systems language☆41Aug 13, 2024Updated last year