C3-like with fun syntax and little ceremony. fin transpiles to C11, shipping a static Clang distribution.
☆12Jun 22, 2026Updated 4 months ago
Alternatives and similar repositories for fin
Users that are interested in fin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A high-level functional programming language☆13Sep 21, 2026Updated last month
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- Optimizing Compiler Backend☆17May 27, 2025Updated last year
- The CodeChat Editor provides an easy-to-use literate programming environment☆13Updated this week
- An Educational Programming Language☆17Jul 29, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Official codebase for the ACL 2025 Findings paper: Optimized Text Embedding Models and Benchmarks for Amharic Passage Retrieval.☆21Jul 26, 2025Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30May 28, 2026Updated 5 months ago
- Build HDF5 in WebAssembly☆11Feb 16, 2026Updated 8 months ago
- Sandbox to produce custom LLVM builds for various platforms☆22Oct 20, 2026Updated 3 weeks ago
- ☆10Dec 13, 2022Updated 3 years ago
- Mathematical terms, definitions, and propositions in as many languages as possible☆28Updated this week
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- event-emitter style wrapper around postMessage☆11Jan 7, 2015Updated 11 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A prototope bootstrap project in xcode☆11Feb 1, 2016Updated 10 years ago
- A small sheet you can share☆16Aug 25, 2015Updated 11 years ago
- ☆13Sep 26, 2026Updated last month
- LISP INTERPRETER and TEXT EDITOR☆22Jul 12, 2024Updated 2 years ago
- HuskyDB - Windows Native C++ NoSQL Database☆33Jul 18, 2018Updated 8 years ago
- Atlas77 is a programming language in development written in Rust☆54Updated this week
- Noa programming language☆12Nov 28, 2025Updated 11 months ago
- Mach kernel from 1986☆22Aug 8, 2019Updated 7 years ago
- Emmy Hackathon 2026: write a compiler that turns Emmy's Kernel IR into PTX☆25Oct 21, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A programming language for the JVM designed to be amenable to sandboxing☆11Jul 27, 2026Updated 3 months ago
- ☆12Sep 17, 2026Updated last month
- An experiment in implementing a GUI code editor from scratch☆11Oct 6, 2026Updated last month
- A collection of Nix expressions for common Ada libraries and applications☆16Aug 3, 2026Updated 3 months ago
- A set of tools, components, and libraries for building interactive math applications.☆15Nov 7, 2026Updated last week
- Compile-time Evaluable SHA3 in C++: Permutation-based Cryptographic Hashing☆16Jun 22, 2026Updated 4 months ago
- operator overloading for js☆14May 7, 2016Updated 10 years ago
- Sorting in Java: sorting algorithm source codes + ultimate performance test, and demo code for sorting arrays and lists with the JDK. For…☆28Updated this week
- Scheme implementation (now maybe working properly)☆21Dec 3, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- bwaa brings last.fm back to 2012 while retaining all modern features☆17Dec 9, 2025Updated 11 months ago
- A tool for helping folks keep things in sync.☆21Updated this week
- ☆19Jan 21, 2014Updated 12 years ago
- Spirit is a set of C++ libraries for parsing and output generation implemented as Domain Specific Embedded Languages (DSEL) using Express…☆12Jan 20, 2011Updated 15 years ago
- An object-oriented language targeting the Neko VM☆11Jul 3, 2021Updated 5 years ago
- kommando programming language☆11Jul 18, 2025Updated last year
- KaTeX plugin that adds support for Persian formulas (Persian & Arabic characters and numerals)☆15Jan 14, 2023Updated 3 years ago
Are these results useful?