πΉ A library for hierarchical names and lexical scoping
β28Jun 19, 2026Updated last month
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 6 years ago
- π A library for managing libraries and resolving unit pathsβ17Jun 19, 2026Updated last month
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 7 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
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 8 months ago
- π Backward lists for OCamlβ22Jun 19, 2026Updated last month
- βΎοΈ A library for universe levels and universe polymorphismβ42Jun 19, 2026Updated last month
- Small tensor library a la GLSLβ17Oct 28, 2022Updated 3 years ago
- π¦ Reusable components based on algebraic effectsβ52Jun 19, 2026Updated last month
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.β16Feb 14, 2015Updated 11 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β89Sep 13, 2021Updated 4 years ago
- A formalization of the theory behind the mugen libraryβ20Jul 5, 2026Updated 2 weeks ago
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatreβ11Feb 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
- Research material of Erik Palmgren (1963β2019)β21Apr 7, 2025Updated last year
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 4 months ago
- β15Oct 31, 2023Updated 2 years ago
- π©Ί A library for compiler diagnosticsβ54Jun 19, 2026Updated last month
- Specification of Agda.β25Jan 13, 2019Updated 7 years ago
- formalization of an equivariant cartesian cubical set model of type theoryβ21Jan 3, 2025Updated last year
- 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 Redex model of CIC as specified in Chapter 4 of the Coq reference manual.β34May 27, 2017Updated 9 years ago
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 3 years ago
- my phd thesisβ26Aug 7, 2024Updated last year
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theoriesβ15Oct 18, 2025Updated 9 months ago
- Some fun with creating little collaborative browser things...β11Apr 25, 2021Updated 5 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofilerβ16Sep 6, 2015Updated 10 years ago
- mpd client library implementation in OCaml.β17Jun 23, 2023Updated 3 years ago
- Formalizations of strong normalization proofsβ35Jul 8, 2019Updated 7 years ago
- Quasi-quoting library for agdaβ18Nov 29, 2024Updated last year
- 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.
- Set up a specific version of Agda for your GitHub Actions workflow.β32Nov 24, 2025Updated 7 months ago
- β18May 10, 2022Updated 4 years ago
- Where my everyday research happensβ57Jul 10, 2026Updated last week
- A (formalised) general definition of type theoriesβ59Jun 10, 2021Updated 5 years ago
- An exact real arithmetic (aka constructive reals) for OCamlβ13Jun 14, 2024Updated 2 years ago
- Mirage OS bindings for ESP32β28Oct 3, 2019Updated 6 years ago
- generic I/O streams of bytesβ26May 28, 2026Updated last month