An experimental Agda kernel for Jupyter
☆24Mar 9, 2022Updated 3 years ago
Alternatives and similar repositories for agda-kernel
Users that are interested in agda-kernel are comparing it to the libraries listed below
Sorting:
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Mar 12, 2022Updated 3 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- ☆14Feb 20, 2026Updated last week
- NotImplementedError: VJP of gammainc wrt argnum 0 not defined☆15Oct 15, 2020Updated 5 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆20Nov 8, 2021Updated 4 years ago
- ☆15Jun 7, 2023Updated 2 years ago
- apkg - package manager for Agda☆38Jul 17, 2021Updated 4 years ago
- Haskell library for glob matching☆25Jan 15, 2022Updated 4 years ago
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago
- Julia implementation of DeepMind's Deep Q Learning algorithm described in "Playing Atari with Deep Reinforcement Learning"☆23Jul 7, 2015Updated 10 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆233Dec 30, 2025Updated 2 months ago
- ☆27May 6, 2024Updated last year
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- Programming library for Agda☆135Aug 22, 2024Updated last year
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- ☆38Oct 23, 2021Updated 4 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆16Updated this week
- HoTT in Lean 3☆81Aug 3, 2020Updated 5 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 2 weeks ago
- MATLAB code for simulating the extraction of espresso style coffee☆10Jan 15, 2019Updated 7 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated 9 months ago
- Relational Algebra Interpreter writting in Python and Qt☆32Feb 20, 2026Updated last week
- Interpreter for the reversible functional language rFun☆38Feb 28, 2018Updated 8 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- English Georgian Dictionary for iPhone☆21Apr 19, 2018Updated 7 years ago
- ☆10Jun 2, 2020Updated 5 years ago
- Python library for USB2FIR, an USB interface board for MLX90640☆14Nov 7, 2019Updated 6 years ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- Python test doubles library☆12Oct 11, 2024Updated last year
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 6 months ago
- An online tool to prototype and generate a base CSS theme☆14Apr 23, 2024Updated last year
- Julia code for Probabilistic Machine Learning☆38Apr 16, 2020Updated 5 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆105Aug 11, 2025Updated 6 months ago
- ☆45Jun 20, 2019Updated 6 years ago
- Language Server for Agda☆124Oct 29, 2025Updated 4 months ago