πΉ A library for hierarchical names and lexical scoping
β28Jun 19, 2026Updated last week
Alternatives and similar repositories for yuujinchou
Users that are interested in yuujinchou are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- β11Jul 8, 2020Updated 5 years ago
- π A library for managing libraries and resolving unit pathsβ17Jun 19, 2026Updated last week
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 6 years ago
- Experimental type-checker for internally parametric type theoryβ32Mar 27, 2025Updated last year
- All higher inductive types can be obtained from three simple HITs.β17Apr 6, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 7 months ago
- π Backward lists for OCamlβ22Jun 19, 2026Updated last week
- βΎοΈ A library for universe levels and universe polymorphismβ41Jun 19, 2026Updated last week
- Small tensor library a la GLSLβ17Oct 28, 2022Updated 3 years ago
- π¦ Reusable components based on algebraic effectsβ52Jun 19, 2026Updated last week
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β89Sep 13, 2021Updated 4 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.β16Feb 14, 2015Updated 11 years ago
- A formalization of the theory behind the mugen libraryβ20Jun 22, 2026Updated last week
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatreβ10Feb 13, 2025Updated last year
- Experiment with synthetic domain theory in cubical agdaβ15Nov 8, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.β12Jul 1, 2023Updated 3 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 3 months ago
- β15Oct 31, 2023Updated 2 years ago
- formalization of an equivariant cartesian cubical set model of type theoryβ21Jan 3, 2025Updated last year
- Specification of Agda.β25Jan 13, 2019Updated 7 years ago
- π©Ί A library for compiler diagnosticsβ54Jun 19, 2026Updated last week
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.β34May 27, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 3 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofilerβ16Sep 6, 2015Updated 10 years ago
- Research material of Erik Palmgren (1963β2019)β21Apr 7, 2025Updated last year
- my phd thesisβ26Aug 7, 2024Updated last year
- Some fun with creating little collaborative browser things...β11Apr 25, 2021Updated 5 years ago
- mpd client library implementation in OCaml.β17Jun 23, 2023Updated 3 years ago
- Experiments with Realizability in Univalent Type Theoryβ20Oct 21, 2024Updated last year
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theoriesβ15Oct 18, 2025Updated 8 months ago
- β18May 10, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Formalizations of strong normalization proofsβ35Jul 8, 2019Updated 6 years ago
- Quasi-quoting library for agdaβ18Nov 29, 2024Updated last year
- A (formalised) general definition of type theoriesβ59Jun 10, 2021Updated 5 years ago
- Where my everyday research happensβ57Jun 15, 2026Updated 2 weeks ago
- Library for tokenizing code with TextMate grammarsβ15Apr 11, 2026Updated 2 months ago
- generic I/O streams of bytesβ26May 28, 2026Updated last month
- Mirage OS bindings for ESP32β28Oct 3, 2019Updated 6 years ago