Alternatives and similar repositories for adjs

Users that are interested in adjs are comparing it to the libraries listed below

• synrc / chat

  View on GitHub
  💬 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
• groupoid / TeX

  View on GitHub
  🧊 TeX-подібна система верстки наукових праць
  ☆20Mar 14, 2025Updated 11 months ago
• plclub / cbpv-effects-coeffects

  View on GitHub
  Formalization of CBPV extended with effect and coeffect tracking
  ☆14Aug 30, 2024Updated last year
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• EarlGray / omit

  View on GitHub
  A self-hosting subset of git functionality in 500 lines
  ☆13Aug 27, 2018Updated 7 years ago
• skynet64 / emqttd

  View on GitHub
  💠 EMQTTD: EMQ MQTT Server 2.1.2
  ☆13Jan 16, 2026Updated 3 weeks ago
• neel-krishnaswami / linearml

  View on GitHub
  A simple implementation of linear type theory
  ☆39Apr 21, 2017Updated 8 years ago
• ayberkt / sml-system-t

  View on GitHub
  SML implementation of System T from PFPL.
  ☆11Jun 28, 2017Updated 8 years ago
• ndcroos / awesome-topological-data-analysis

  View on GitHub
  A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆19Aug 7, 2024Updated last year
• laMudri / quantitative

  View on GitHub
  ☆16Dec 28, 2021Updated 4 years ago
• schnef / axolotl

  View on GitHub
  An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…
  ☆18Aug 10, 2019Updated 6 years ago
• lyleg / reasoncoin

  View on GitHub
  ☆16Mar 13, 2018Updated 7 years ago
• jptmoore / nibbledb

  View on GitHub
  a byte-sized time series database
  ☆23Dec 15, 2020Updated 5 years ago
• jeffa5 / ocaml-grpc

  View on GitHub
  Moved to https://git.jeffas.net
  ☆26Mar 13, 2022Updated 3 years ago
• TOTBWF / tactic-haskell

  View on GitHub
  Tactic Metaprogramming in Haskell
  ☆56Jul 7, 2019Updated 6 years ago
• maxdore / elfe

  View on GitHub
  Interactive Theorem Proving for students
  ☆20Aug 26, 2023Updated 2 years ago
• lastland / WebSpec

  View on GitHub
  ☆17May 10, 2017Updated 8 years ago
• atgeller / WASM-Redex

  View on GitHub
  A model of the WebAssembly language in Redex
  ☆21Mar 25, 2021Updated 4 years ago
• ionathanch / TTBFL

  View on GitHub
  A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
  ☆22Jan 28, 2026Updated 2 weeks ago
• groupoid / cafe

  View on GitHub
  🧊 Презентації та воркшопи
  ☆19Jun 28, 2025Updated 7 months ago
• pviotti / conver-old

  View on GitHub
  [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
  ☆18Jun 9, 2016Updated 9 years ago
• hugeping / rein

  View on GitHub
  minimal lua/sdl platform
  ☆23May 20, 2025Updated 8 months ago
• jaredly / j3

  View on GitHub
  Another attempt to realize my programming language
  ☆23Jan 17, 2026Updated 3 weeks ago
• twanvl / ttie

  View on GitHub
  Type Theory with Indexed Equality
  ☆26Apr 7, 2017Updated 8 years ago
• thehottgame / theHoTTGameGuide

  View on GitHub
  ☆25Aug 19, 2025Updated 5 months ago
• condy0919 / rua

  View on GitHub
  Lua dialect in rust
  ☆22Jun 17, 2021Updated 4 years ago
• striot / striot

  View on GitHub
  functional STReam processing for the IOT
  ☆29Apr 11, 2025Updated 10 months ago
• ISANobody / sill

  View on GitHub
  ☆29Sep 14, 2015Updated 10 years ago
• bitml-lang / bitml-compiler

  View on GitHub
  Compiler for BitML
  ☆27Mar 10, 2022Updated 3 years ago
• ionathanch / parapoly

  View on GitHub
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆32Updated this week
• mgree / kmt

  View on GitHub
  Kleene algebra modulo theories
  ☆27Nov 21, 2022Updated 3 years ago
• SamuelSchlesinger / gaia

  View on GitHub
  An experiment in functional interface design
  ☆24Oct 29, 2016Updated 9 years ago
• logsem / aneris

  View on GitHub
  Program logic for developing and verifying distributed systems
  ☆35Updated this week
• schacon / erlangit

  View on GitHub
  Erlang Git Implementation
  ☆73Oct 11, 2023Updated 2 years ago
• wilbowma / dissertation

  View on GitHub
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30May 10, 2022Updated 3 years ago
• kangxyz / cubical-classics

  View on GitHub
  An attempt towards univalent classical mathematics in Cubical Agda.
  ☆32Sep 15, 2023Updated 2 years ago
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Jul 8, 2025Updated 7 months ago
• RedPRL / algaett

  View on GitHub
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Nov 21, 2025Updated 2 months ago
• serokell / foundry

  View on GitHub
  Morte IDE
  ☆29Apr 3, 2025Updated 10 months ago