πΉ 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
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- π§ 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 last month
- Organize mathematical thoughtsβ21Oct 6, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 5 months ago
- β16Oct 31, 2023Updated 2 years ago
- π©Ί A library for compiler diagnosticsβ55Jun 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
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 4 years ago
- my phd thesisβ26Aug 7, 2024Updated 2 years ago
- 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
- 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.
- Set up a specific version of Agda for your GitHub Actions workflow.β32Nov 24, 2025Updated 8 months ago
- β18May 10, 2022Updated 4 years ago
- Where my everyday research happensβ57Jul 28, 2026Updated 2 weeks ago
- 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 2 months ago