lclem/agda-kernel external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lclem/agda-kernel

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lclem/agda-kernel)

Close

lclem / agda-kernelView on GitHubMore

• External links
• Readme badge

An experimental Agda kernel for Jupyter

☆24Mar 9, 2022Updated 4 years ago

Alternatives and similar repositories for agda-kernel

Users that are interested in agda-kernel are comparing it to the libraries listed below

• oisdk / agda-ring-solver

  View on GitHub
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Mar 12, 2022Updated 4 years ago
• Saizan / parametric-demo

  View on GitHub
  ☆12Jul 8, 2019Updated 6 years ago
• iblech / scheme-theory-in-agda

  View on GitHub
  A formalization of synthetic algebraic geometry in Agda
  ☆14Jan 5, 2019Updated 7 years ago
• gallais / agda-sizedIO

  View on GitHub
  IO using sized types and copatterns
  ☆36Apr 14, 2021Updated 4 years ago
• alhassy / org-agda-mode

  View on GitHub
  An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
  ☆21Nov 8, 2021Updated 4 years ago
• konn / vscode-generic-input-method

  View on GitHub
  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
• agda / agda-pkg

  View on GitHub
  apkg - package manager for Agda
  ☆38Jul 17, 2021Updated 4 years ago
• david-christiansen / derive-all-the-instances

  View on GitHub
  Work on type class deriving with elaboration reflection
  ☆32Sep 9, 2018Updated 7 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• gebner / hott3

  View on GitHub
  HoTT in Lean 3
  ☆81Aug 3, 2020Updated 5 years ago
• banacorn / agda-mode

  View on GitHub
  agda-mode on Atom
  ☆58Feb 26, 2021Updated 5 years ago
• effectfully / random-stuff

  View on GitHub
  ☆20Aug 13, 2024Updated last year
• DeepSpec / sf

  View on GitHub
  ☆14Mar 9, 2026Updated last week
• probonto / ontology

  View on GitHub
  ☆15Jun 7, 2023Updated 2 years ago
• samhavens / be-manager

  View on GitHub
  lessons I am learning
  ☆14Oct 24, 2019Updated 6 years ago
• alanz / incremental-play

  View on GitHub
  Playing with incremental parsing and later compiler passes
  ☆12Dec 12, 2018Updated 7 years ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes

  View on GitHub
  Lecture notes on univalent foundations of mathematics with Agda
  ☆232Dec 30, 2025Updated 2 months ago
• zampino / phoenix_osc

  View on GitHub
  broadcasts OSC messages to Phoenix Channels from UDP streams
  ☆15Apr 1, 2016Updated 9 years ago
• chakravala / Leibniz.jl

  View on GitHub
  Tensor algebra utility library
  ☆19Jan 12, 2026Updated 2 months ago
• mmzeeman / elli_websocket

  View on GitHub
  Elli Websocket Handler
  ☆20May 7, 2019Updated 6 years ago
• xgrommx / agda-ecosystem

  View on GitHub
  ☆32May 27, 2018Updated 7 years ago
• bustardcelly / as3couchdb

  View on GitHub
  An ActionScript 3 clientside API for interacting with a CouchDB instance.
  ☆38Nov 19, 2010Updated 15 years ago
• alejogm0520 / latexEAFIT

  View on GitHub
  A modern LATEX beamer theme for the Universidad EAFIT
  ☆10Jul 13, 2018Updated 7 years ago
• possibly-wrong / blackjack

  View on GitHub
  Blackjack game and strategy calculator
  ☆15Apr 20, 2025Updated 11 months ago
• eseyffarth / deutsch_falsch

  View on GitHub
  Twitterbot that generates orthographically plausible German words with semantically plausible English explanations.
  ☆15Oct 19, 2015Updated 10 years ago
• jwarwick / ex_osc

  View on GitHub
  Open Sound Control server and client libraries for Elixir
  ☆13Mar 17, 2016Updated 10 years ago
• cvndsh / rebus

  View on GitHub
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Aug 13, 2024Updated last year
• klauso / PLT2011

  View on GitHub
  Material for the course on Programming Languages and Types at University of Marburg
  ☆15Feb 6, 2012Updated 14 years ago
• plone / plone.app.theming

  View on GitHub
  Integrates the Diazo theming engine with Plone
  ☆21Mar 12, 2026Updated last week
• frostburn / ts-geometric-algebra

  View on GitHub
  TypeScript Geometric Algebra Generator
  ☆19Feb 1, 2024Updated 2 years ago
• 5t111111 / ruby_extension_with_crystal

  View on GitHub
  Write Ruby extensions with Crystal
  ☆12Jan 18, 2016Updated 10 years ago
• lohedges / latuxit

  View on GitHub
  A command-line clone of the excellent macOS program LaTeXiT.
  ☆15Nov 13, 2017Updated 8 years ago
• gallais / potpourri

  View on GitHub
  Where my everyday research happens
  ☆56Mar 10, 2026Updated last week
• lakeraai / dsec-gandalf

  View on GitHub
  ☆21Mar 18, 2025Updated last year
• backchatio / xsbt-scalate-generate

  View on GitHub
  Generate scala sources for sbt 0.10
  ☆30Jul 10, 2015Updated 10 years ago
• agda / agda-language-server

  View on GitHub
  Language Server for Agda
  ☆124Mar 12, 2026Updated last week
• ts-plus / typescript

  View on GitHub
  ☆37Feb 8, 2026Updated last month
• rocq-community / docker-coq

  View on GitHub
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
  ☆40May 13, 2025Updated 10 months ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year