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:
- 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 7 months ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- Stuff related to the BMClab public datasets☆10Feb 27, 2026Updated last week
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- A book about datalog☆12Nov 26, 2022Updated 3 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 7 months ago
- ☆14Oct 9, 2020Updated 5 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years 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
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆13Feb 25, 2026Updated last week
- ☆11Oct 14, 2023Updated 2 years ago
- ohyecloudy dotfiles☆14Feb 20, 2026Updated 2 weeks 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 last year
- 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
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 6 years ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆17Mar 20, 2022Updated 3 years ago
- Profiling library☆15Jan 15, 2026Updated last month
- ☆11Oct 11, 2024Updated last year
- ☆10Jun 13, 2015Updated 10 years ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 4 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
- Batch processing using joblib including tqdm progress bars☆20Dec 29, 2021Updated 4 years ago
- CAVES-dataset accepted at SIGIR'22☆12Aug 9, 2024Updated last year
- OCaml.org v3 data repository☆13Sep 14, 2021Updated 4 years ago
- Topological sort algorithm☆15Jan 15, 2026Updated last month
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 7 years ago
- Python bindings for yices2☆12Dec 18, 2024Updated last year
- Results and software for our paper on structured epidemic modeling☆16Sep 21, 2022Updated 3 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot☆16Apr 11, 2024Updated last year
- A splay tree implementation.☆14Jan 15, 2026Updated last month
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- BOJ 기능 추가 요청☆10Feb 23, 2022Updated 4 years ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆18Updated this week
- ☆16Apr 15, 2025Updated 10 months ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago