FX is a compiler, proof assistant and a programming language built on graded dependent type theory
☆44Jul 21, 2026Updated 3 months ago
Alternatives and similar repositories for FX
Users that are interested in FX 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 Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable☆21Oct 20, 2026Updated last week
- a lib☆11Oct 16, 2025Updated last year
- Proof assistant☆13Dec 18, 2025Updated 10 months ago
- ☆21Apr 6, 2026Updated 6 months ago
- 📚 A collection of resources about interaction nets☆40Jun 9, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Use Magit from anywhere without configuring Emacs☆12Jan 27, 2024Updated 2 years ago
- Extract metadata from typst documents for preprocessing☆16Aug 31, 2026Updated last month
- experimental LeanOS formally verified OS☆17Oct 19, 2026Updated last week
- Zero-Trust Semantic Scraper & Firewall Proxy for AI Coding Agents. Intercepts and neutralizes web-scraped prompt injections locally befor…☆15Jun 2, 2026Updated 4 months ago
- ☆16Sep 24, 2026Updated last month
- AI Native Language + Compiler. All LLM☆14Sep 15, 2026Updated last month
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 5 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
- A native macOS auto-research harness for Codex and Claude Code. Pick an open research project and press Play.☆38Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.☆12Sep 27, 2023Updated 3 years ago
- Experiments for the spectral neuron paper☆23Sep 5, 2026Updated last month
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- derive types from other types to make it easier to type code!☆26Oct 13, 2026Updated 2 weeks ago
- A full-stack grocery store project entails creating an interactive user interface using React, HTML, CSS, and JavaScript for browsing pro…☆10Apr 13, 2024Updated 2 years ago
- A Python SDK for Open Reward Standard servers and clients☆17Mar 24, 2026Updated 7 months ago
- Packer recipe to create Guix images☆14Mar 24, 2018Updated 8 years ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A simple, focused and expressive library for building command line applications.☆11Jan 4, 2020Updated 6 years ago
- Light weight runtime for ReScript☆16Jun 16, 2023Updated 3 years ago
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Example of easy dynamic import in ReScript using Vite☆10Jul 7, 2022Updated 4 years ago
- Functional JAX middleware using a compute Node abstraction☆22Sep 6, 2026Updated last month
- Reason bindings for react-navigation☆14May 16, 2021Updated 5 years ago
- Local-first, end-to-end encrypted agent-to-agent mesh protocol. Zero-config LAN + LoRa. Runs offline. No cloud. info@ironmesh.org☆25Updated this week
- C3-like with fun syntax and little ceremony. fin transpiles to C11, shipping a static Clang distribution.☆12Jun 22, 2026Updated 4 months ago
- Compile-time Evaluable SHA3 in C++: Permutation-based Cryptographic Hashing☆16Jun 22, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- AI-powered pull request reviewer in your terminal. Review diffs, navigate findings, comment, and submit, all without leaving the CLI☆18Aug 26, 2026Updated 2 months ago
- ♾️ A library for universe levels and universe polymorphism☆42Sep 24, 2026Updated last month
- Design-by-contract programming for JavaScript and ReasonML☆14Feb 14, 2021Updated 5 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Oct 2, 2026Updated 3 weeks ago
- Lightning talk at FOSDEM 2019 in Bruxelles☆11Feb 2, 2019Updated 7 years ago
- Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch☆18Updated this week
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆57Jul 22, 2026Updated 3 months ago