Two-Level Type Theory
☆28Dec 13, 2019Updated 6 years ago
Alternatives and similar repositories for two-level
Users that are interested in two-level are comparing it to the libraries listed below
Sorting:
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 5 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- Coherence typechecker for infinity categories☆20Dec 29, 2025Updated 2 months ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- An implementation of a simple Neural network in Idris using category theory.☆24Sep 18, 2024Updated last year
- Original Joy☆11Dec 17, 2024Updated last year
- An (incomplete) Common Lisp implementation of the iCalendar RFC5545 specification.☆14Apr 19, 2019Updated 6 years ago
- A full-featured IRC bot in Common Lisp☆17May 15, 2025Updated 9 months ago
- OpenGL and GPU debugging utilities☆14Oct 21, 2012Updated 13 years ago
- ☆10Jul 6, 2023Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Access `version`, `uuid`, etc. in `Project.toml`☆13May 6, 2024Updated last year
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Julia package for editing and displaying binary file data in hexadecimal format☆11Mar 14, 2023Updated 2 years ago
- My personal dot files☆10Sep 13, 2022Updated 3 years ago
- ☆11Aug 27, 2021Updated 4 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- Immutable empty and singleton collections☆14Mar 2, 2023Updated 2 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- A diff tool that highlights changes at the token (rather than line) level☆13Dec 19, 2022Updated 3 years ago
- AMDGPU bindings for Flux☆10Apr 6, 2021Updated 4 years ago
- Julia interface to libjpeg-turbo☆13Jan 29, 2022Updated 4 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Feb 7, 2020Updated 6 years ago
- Julia implementation of the Belief Propagation algorithm for a few discrete graphical models.☆14Nov 16, 2022Updated 3 years ago
- Use xcscope with helm!☆12Jan 10, 2015Updated 11 years ago
- lemon lexicon for DBpedia☆27Oct 13, 2015Updated 10 years ago
- Learning Finite State Machine Models from Data with a Genetic Algorithm☆11Dec 1, 2025Updated 3 months ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- An Emacs buffer list☆20Sep 24, 2017Updated 8 years ago
- ☆15Mar 7, 2018Updated 7 years ago
- Discussion Seminar: Philosophy of Programming Lanugages☆14Jul 20, 2014Updated 11 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 2 weeks ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago