πΉ A library for hierarchical names and lexical scoping
β28Apr 7, 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 5 years ago
- π A library for managing libraries and resolving unit pathsβ17Apr 6, 2026Updated last month
- 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 on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 6 months ago
- π Backward lists for OCamlβ22Apr 6, 2026Updated last month
- βΎοΈ A library for universe levels and universe polymorphismβ40Apr 6, 2026Updated last month
- Small tensor library a la GLSLβ17Oct 28, 2022Updated 3 years ago
- π¦ Reusable components based on algebraic effectsβ52Apr 6, 2026Updated last month
- 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β19Apr 25, 2026Updated 3 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β10Feb 13, 2025Updated last year
- Experiment with synthetic domain theory in cubical agdaβ14Nov 8, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.β12Jul 1, 2023Updated 2 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 2 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β53Apr 6, 2026Updated last month
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.β34May 27, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 2 years ago
- Experiments with Realizability in Univalent Type Theoryβ19Oct 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 7 months ago
- β18May 10, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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 4 years ago
- Library for tokenizing code with TextMate grammarsβ15Apr 11, 2026Updated last month
- Where my everyday research happensβ57Mar 10, 2026Updated 2 months ago
- generic I/O streams of bytesβ27Jul 3, 2025Updated 10 months ago
- Mirage OS bindings for ESP32β28Oct 3, 2019Updated 6 years ago