a ML-style programming language based on the calculus of constructions type theory
☆24Jul 6, 2025Updated 8 months ago
Alternatives and similar repositories for lexie
Users that are interested in lexie are comparing it to the libraries listed below
Sorting:
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 4 months ago
- The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…☆21Mar 10, 2026Updated last week
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- Slides + image for the 19. Sesja Linuksowa talk: "Can we boot Linux from just a floppy?"☆18Aug 5, 2025Updated 7 months ago
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- Violette is a simple functional programming language.☆26Oct 11, 2025Updated 5 months ago
- A compile-to-JavaScript language with tight TypeScript integration.☆23Oct 15, 2023Updated 2 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.☆10Jul 11, 2025Updated 8 months ago
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- Simple functional-ish language written in Kotlin☆23Aug 19, 2025Updated 7 months ago
- An experiment in implementing a code editor from scratch☆10Nov 28, 2024Updated last year
- Misc Erlang Tools☆10Dec 12, 2023Updated 2 years ago
- A native TypeScript declaration (.d.ts) bundler built on Oxc☆50Updated this week
- Various mechanized proof files for fun.☆13Mar 9, 2026Updated last week
- ProxyConf is a control plane for Envoyproxy that simplifies and secures API management in enterprise environments. It leverages the OpenA…☆15Aug 21, 2025Updated 6 months ago
- ☆12Oct 17, 2023Updated 2 years ago
- ☆12Mar 19, 2025Updated last year
- A verified compiler for a lazy functional language☆40Mar 13, 2026Updated last week
- ☆35Mar 13, 2026Updated last week
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆68Jul 21, 2025Updated 7 months ago
- Provides Lock and RwLock synchronization primitives.☆15Dec 9, 2024Updated last year
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 9 months ago
- Kylie is a blond and small Erlang/Elixir client for Cayley graph data base☆12Feb 15, 2026Updated last month
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 8 months ago
- httpbin implemented in ClojureScript☆16Mar 3, 2017Updated 9 years ago
- Currying in Clojure for fun and learning.☆11Feb 14, 2024Updated 2 years ago
- Erlang counters☆14Nov 13, 2023Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Universal and extensible data structure library for interacting with Erlang maps, proplists, dicts, etc..☆11Dec 17, 2025Updated 3 months ago
- being a particular fragment of Haskell, extended to a proof system☆43Mar 2, 2026Updated 2 weeks ago
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- node-pg wrapper for effect-ts☆13Jun 4, 2024Updated last year
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- Yet another UNIX-like argument parser for C. CC0-licensed.☆22Aug 5, 2025Updated 7 months ago
- A Vite plugin for Melange☆13Feb 26, 2025Updated last year