Operad Programming Language in Haskell, by David Darais
☆33Apr 1, 2014Updated 12 years ago
Alternatives and similar repositories for opl
Users that are interested in opl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- Datatypes as quotients of polynomial functors☆42May 4, 2020Updated 6 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.
- Multimode simple type theory as an Agda library.☆22Sep 18, 2024Updated 2 years ago
- A generic, derivable, haskell pretty printer - Research project, summer of 2011☆10Nov 10, 2019Updated 6 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Haskell library of algebraic topology☆27Sep 23, 2011Updated 15 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆13Jul 6, 2020Updated 6 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆15Mar 13, 2014Updated 12 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 11 months ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- A server for the forester tool☆19Dec 10, 2024Updated last year
- 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.
- spmd-on-simd stuff☆27Aug 5, 2017Updated 9 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 7 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Aug 11, 2019Updated 7 years ago
- OCaml syntax extension for quoting code☆28Aug 8, 2025Updated last year
- Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.☆16Aug 4, 2011Updated 15 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆16Aug 22, 2019Updated 7 years ago
- ☆11Feb 25, 2025Updated last year
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- A language based on homotopy type theory with an interval☆84Apr 5, 2015Updated 11 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.
- A system for computational category theory and applications☆41Jun 27, 2016Updated 10 years ago
- A dynamically-typed CBPV language embedded in Racket☆43Sep 15, 2026Updated last month
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆25Feb 7, 2025Updated last year
- Python Cellular Sheaf Library☆159Sep 5, 2025Updated last year
- As defined in Lubotzky, Philips and Sarnak☆11Oct 25, 2022Updated 4 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 6 years ago
- Fast file-hash DB☆10Mar 14, 2025Updated last year
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Categorical Query Language IDE☆365Updated this week
- 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.
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 12 years ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆39Aug 19, 2022Updated 4 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- ☆85Sep 7, 2017Updated 9 years ago
- ☆16Jun 9, 2024Updated 2 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 9 years ago
- A Catlab-compatible implementation of acsets in python.☆12Jan 22, 2024Updated 2 years ago