The collected works of R. F. C. Walters
β13Nov 12, 2024Updated last year
Alternatives and similar repositories for walters
Users that are interested in walters are comparing it to the libraries listed below
Sorting:
- π HL7: FHIR Application Server ISO/HL7 27931:2009β11Feb 17, 2026Updated 2 weeks ago
- π¬ 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,β¦β11Feb 8, 2026Updated 3 weeks ago
- Groupoids vs 1-Typesβ11Nov 8, 2018Updated 7 years ago
- SAMPLE: Elixir Applicationβ13Jan 26, 2021Updated 5 years ago
- β17Feb 16, 2026Updated 2 weeks ago
- π‘οΈ CA: Certificate Authority. ΠΠ‘Π’Π£: 4145. ITU/IETF: 3279, 5755, 7030, X.509.β20Feb 13, 2026Updated 3 weeks ago
- A personal library, formalizing cohesive homotopy type theory in Agda.β13Apr 30, 2019Updated 6 years ago
- π§ SCAN: Π‘ΠΊΠ°Π½ΡΠ²Π°Π½Π½Ρβ13Sep 25, 2022Updated 3 years ago
- Work in progress on semi-simplicial typesβ23Dec 15, 2022Updated 3 years ago
- Binary Editorβ22Jul 17, 2025Updated 7 months ago
- Interactive Theorem Proving for studentsβ21Aug 26, 2023Updated 2 years ago
- 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
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windowsβ25Jan 25, 2013Updated 13 years ago
- A Julia package for calculating topological numbersβ36Aug 19, 2025Updated 6 months ago
- Revised Omega-categorical Typecheckerβ27Nov 3, 2024Updated last year
- Formal Topology in Univalent Foundations (WIP).β37Jul 29, 2022Updated 3 years ago
- IO using sized types and copatternsβ36Apr 14, 2021Updated 4 years ago
- Selected Papers of Dana S. Scottβ171Jun 20, 2024Updated last year
- π LDAP: Directory Server. ITU/IETF: 2849, 3296, 3671-3673, 3866, 4510-4518, 4522, 4525, 4526, 4929, 5480, X.519.β54Jan 16, 2026Updated last month
- Polynomial semantics of linear logicβ13Apr 15, 2018Updated 7 years ago
- Active Inference & Category Theoryβ10Mar 11, 2024Updated last year
- β11Dec 23, 2025Updated 2 months ago
- PityBoy is a fantasy console written in C++, inspired by the famous Gameboyβ17Oct 12, 2023Updated 2 years ago
- Machine Learning for Mathematical Formalizationβ11Jul 20, 2024Updated last year
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.β34Feb 25, 2026Updated last week
- This is a translation of source code from SICP into SML/NJ.β13Jun 2, 2010Updated 15 years ago
- Bioactive Molecular Networks Projectβ14Nov 17, 2020Updated 5 years ago
- A CLI tool to for crypto functionsβ13Feb 26, 2026Updated last week
- Topology library for Coqβ12Dec 24, 2015Updated 10 years ago
- β52May 19, 2024Updated last year
- The multimode presheaf proof-assistantβ37Jan 23, 2026Updated last month
- A formalized proof of a version of the initiality conjectureβ45Sep 10, 2020Updated 5 years ago
- Command-like expressions for real infinite-precision calculationsβ55Aug 5, 2025Updated 7 months ago
- Haskell graph libraryβ10Dec 18, 2017Updated 8 years ago
- Erlang client for StatsDβ19Oct 9, 2018Updated 7 years ago
- smallest z80 disassembler in the worldβ12Jan 28, 2023Updated 3 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)β12Oct 6, 2011Updated 14 years ago
- Open Source re-Isearch Projectβ18Feb 27, 2026Updated last week
- Encode an image to sound (WAV file) and view it as a spectrogram. Optimized Python 3 version.β11Jan 25, 2023Updated 3 years ago