Alternatives and similar repositories for walters

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

• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Jul 8, 2025Updated 7 months ago
• 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 5, 2026Updated last week
• nmvdw / groupoids

  View on GitHub
  Groupoids vs 1-Types
  ☆11Nov 8, 2018Updated 7 years ago
• o7 / sample

  View on GitHub
  SAMPLE: Elixir Application
  ☆13Jan 26, 2021Updated 5 years ago
• uds-psl / coq-synthetic-computability

  View on GitHub
  ☆17Jan 23, 2026Updated 3 weeks ago
• synrc / ca

  View on GitHub
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆20Jan 16, 2026Updated 3 weeks ago
• DavidJaz / Cohesion

  View on GitHub
  A personal library, formalizing cohesive homotopy type theory in Agda.
  ☆13Apr 30, 2019Updated 6 years ago
• erpuno / scan

  View on GitHub
  💧 SCAN: Сканування
  ☆13Sep 25, 2022Updated 3 years ago
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆23Dec 15, 2022Updated 3 years ago
• bitedits / be

  View on GitHub
  Binary Editor
  ☆22Jul 17, 2025Updated 6 months ago
• maxdore / elfe

  View on GitHub
  Interactive Theorem Proving for students
  ☆20Aug 26, 2023Updated 2 years ago
• z-murray / honours-project-constructive-analysis-in-agda

  View on GitHub
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆24Aug 14, 2023Updated 2 years ago
• KskAdch / TopologicalNumbers.jl

  View on GitHub
  A Julia package for calculating topological numbers
  ☆36Aug 19, 2025Updated 5 months ago
• kthielen / stlcc

  View on GitHub
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Jan 25, 2013Updated 13 years ago
• ericfinster / catt.io

  View on GitHub
  Revised Omega-categorical Typechecker
  ☆27Nov 3, 2024Updated last year
• gallais / agda-sizedIO

  View on GitHub
  IO using sized types and copatterns
  ☆36Apr 14, 2021Updated 4 years ago
• ayberkt / formal-topology-in-UF

  View on GitHub
  Formal Topology in Univalent Foundations (WIP).
  ☆36Jul 29, 2022Updated 3 years ago
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• CMU-HoTT / scott

  View on GitHub
  Selected Papers of Dana S. Scott
  ☆171Jun 20, 2024Updated last year
• synrc / ldap

  View on GitHub
  🌐 LDAP: Directory Server. ITU/IETF: 2849, 3296, 3671-3673, 3866, 4510-4518, 4522, 4525, 4526, 4929, 5480, X.519.
  ☆54Jan 16, 2026Updated 3 weeks ago
• hz7k-nzw / sicp-in-smlnj

  View on GitHub
  This is a translation of source code from SICP into SML/NJ.
  ☆13Jun 2, 2010Updated 15 years ago
• HastilyConceivedCreatures / safecat

  View on GitHub
  A CLI tool to for crypto functions
  ☆13Jan 13, 2025Updated last year
• karans4 / sysp

  View on GitHub
  A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.
  ☆32Updated this week
• DorresteinLaboratory / Bioactive_Molecular_Networks

  View on GitHub
  Bioactive Molecular Networks Project
  ☆14Nov 17, 2020Updated 5 years ago
• ul-fmf / mlfmf-data

  View on GitHub
  Machine Learning for Mathematical Formalization
  ☆11Jul 20, 2024Updated last year
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• Lyniat / platformer-physics

  View on GitHub
  ☆11Dec 23, 2025Updated last month
• ActiveInferenceInstitute / ActiveInferenceCategoryTheory

  View on GitHub
  Active Inference & Category Theory
  ☆10Mar 11, 2024Updated last year
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 years ago
• MichuButAnother / PityBoy

  View on GitHub
  PityBoy is a fantasy console written in C++, inspired by the famous Gameboy
  ☆17Oct 12, 2023Updated 2 years ago
• anuyts / menkar

  View on GitHub
  The multimode presheaf proof-assistant
  ☆37Jan 23, 2026Updated 3 weeks ago
• DavidJaz / DynamicalSystemsBook

  View on GitHub
  ☆52May 19, 2024Updated last year
• guillaumebrunerie / initiality

  View on GitHub
  A formalized proof of a version of the initiality conjecture
  ☆45Sep 10, 2020Updated 5 years ago
• andrejbauer / clerical

  View on GitHub
  Command-like expressions for real infinite-precision calculations
  ☆55Aug 5, 2025Updated 6 months ago
• dbuenzli / qoic

  View on GitHub
  QOI image codec for OCaml (unreleased)
  ☆11Jan 2, 2026Updated last month
• re-Isearch / re-Isearch

  View on GitHub
  Open Source re-Isearch Project
  ☆17Feb 6, 2026Updated last week
• wil / erlstatsd

  View on GitHub
  Erlang client for StatsD
  ☆19Oct 9, 2018Updated 7 years ago
• diagrams / dual-tree

  View on GitHub
  Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.
  ☆16May 13, 2025Updated 9 months ago
• jrk / symalg

  View on GitHub
  (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)
  ☆12Oct 6, 2011Updated 14 years ago