neel-krishnaswami / adjsView external linksLinks
Higher-order FRP compiler
☆16Oct 20, 2021Updated 4 years ago
Alternatives and similar repositories for adjs
Users that are interested in adjs are comparing it to the libraries listed below
Sorting:
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆10Feb 8, 2026Updated last week
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- A self-hosting subset of git functionality in 500 lines☆13Aug 27, 2018Updated 7 years ago
- 💠 EMQTTD: EMQ MQTT Server 2.1.2☆13Jan 16, 2026Updated 3 weeks ago
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 8 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.☆19Aug 7, 2024Updated last year
- ☆16Dec 28, 2021Updated 4 years ago
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Aug 10, 2019Updated 6 years ago
- ☆16Mar 13, 2018Updated 7 years ago
- a byte-sized time series database☆23Dec 15, 2020Updated 5 years ago
- Moved to https://git.jeffas.net☆26Mar 13, 2022Updated 3 years ago
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- Interactive Theorem Proving for students☆20Aug 26, 2023Updated 2 years ago
- ☆17May 10, 2017Updated 8 years ago
- A model of the WebAssembly language in Redex☆21Mar 25, 2021Updated 4 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆22Jan 28, 2026Updated 2 weeks ago
- 🧊 Презентації та воркшопи☆19Jun 28, 2025Updated 7 months ago
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Jun 9, 2016Updated 9 years ago
- minimal lua/sdl platform☆23May 20, 2025Updated 8 months ago
- Another attempt to realize my programming language☆23Jan 17, 2026Updated 3 weeks ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- ☆25Aug 19, 2025Updated 5 months ago
- Lua dialect in rust☆22Jun 17, 2021Updated 4 years ago
- functional STReam processing for the IOT☆29Apr 11, 2025Updated 10 months ago
- ☆29Sep 14, 2015Updated 10 years ago
- Compiler for BitML☆27Mar 10, 2022Updated 3 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆32Updated this week
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- Program logic for developing and verifying distributed systems☆35Updated this week
- Erlang Git Implementation☆73Oct 11, 2023Updated 2 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Jul 8, 2025Updated 7 months ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 2 months ago
- Morte IDE☆29Apr 3, 2025Updated 10 months ago