bennn / pierce-categoriesView external linksLinks
Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.
☆17Mar 27, 2022Updated 3 years ago
Alternatives and similar repositories for pierce-categories
Users that are interested in pierce-categories are comparing it to the libraries listed below
Sorting:
- Stuff related to the BMClab public datasets☆10Sep 20, 2023Updated 2 years ago
- This is the data and code for the paper: Evaluating the Efficacy of Supervised Learning vs. Large Language Models for Identifying Cogniti…☆13Aug 3, 2025Updated 6 months ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 3 months ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Jul 28, 2025Updated 6 months ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- ☆14Oct 9, 2020Updated 5 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Jul 21, 2025Updated 6 months ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Feb 27, 2025Updated 11 months ago
- Quantum information library for Maxima☆13May 10, 2018Updated 7 years ago
- ☆10Jun 13, 2015Updated 10 years ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆17Mar 20, 2022Updated 3 years ago
- Simple High performance Infrastructure for Neural network Experiments☆14Sep 25, 2023Updated 2 years ago
- Profiling library☆15Jan 15, 2026Updated 3 weeks ago
- ohyecloudy dotfiles☆14Feb 7, 2026Updated last week
- A higher-level httpaf server interface☆12Aug 18, 2020Updated 5 years ago
- Compiler for the Albatross Language☆11Sep 29, 2021Updated 4 years ago
- ☆11Oct 14, 2023Updated 2 years ago
- In this project, we will perform 12-lead ECG Multi-label Classification. Specifically, we will design a multi-model utilizing the charact…☆11Aug 26, 2024Updated last year
- 将棋の棋譜ファイルの構文に色を付けるEmacs用のモード☆12Jan 28, 2024Updated 2 years ago
- CAVES-dataset accepted at SIGIR'22☆12Aug 9, 2024Updated last year
- Topological sort algorithm☆14Jan 15, 2026Updated 3 weeks ago
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 7 years ago
- OCaml.org v3 data repository☆13Sep 14, 2021Updated 4 years ago
- Results and software for our paper on structured epidemic modeling☆16Sep 21, 2022Updated 3 years ago
- Some extra stream manipulation in Common Lisp.☆16Apr 8, 2022Updated 3 years ago
- コードで学ぶAWS入門☆13Apr 1, 2023Updated 2 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Chat offline with open-source LLMs like deepseek-r1, nemotron, qwen, llama and more all through a simple R package powered by Shiny and O…☆21Mar 12, 2025Updated 11 months ago
- Enables HTTP file uploads and form processing in OCaml web applications.☆14Jun 19, 2024Updated last year
- Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot☆15Apr 11, 2024Updated last year
- ☆14Sep 27, 2020Updated 5 years ago
- BOJ 기능 추가 요청☆10Feb 23, 2022Updated 3 years ago
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 10 years ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆18Updated this week
- ☆16Apr 15, 2025Updated 9 months ago