dannypsnl/minic 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

dannypsnl/minic

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/dannypsnl/minic)

Close

dannypsnl / minicView on GitHubMore

• External links
• Readme badge

Minimalist compiler course, based on Essential of Compilation

☆12Jun 22, 2026Updated last week

Alternatives and similar repositories for minic

Users that are interested in minic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 7 months ago
• mattia-furlan / MasterThesisCTT

  View on GitHub
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Nov 19, 2022Updated 3 years ago
• williamedwardhahn / MathDataSci

  View on GitHub
  ☆17Apr 21, 2023Updated 3 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• zanzix / idris-neural-net

  View on GitHub
  An implementation of a simple Neural network in Idris using category theory.
  ☆25Sep 18, 2024Updated last year
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• rigaya / build_scripts

  View on GitHub
  自分用ビルドスクリプト集
  ☆10Mar 31, 2026Updated 3 months ago
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 9 months ago
• mb64 / xtt

  View on GitHub
  A simple implementation of XTT, "A cubical language for Bishop sets"
  ☆28Apr 22, 2022Updated 4 years ago
• jameysharp / live-long-and-prospero

  View on GitHub
  A small compiler for the Prospero Challenge in Constructive Solid Geometry
  ☆11Nov 28, 2025Updated 7 months ago
• felixwellen / synthetic-geometry

  View on GitHub
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆26Jan 22, 2024Updated 2 years ago
• RedPRL / algaett

  View on GitHub
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆38Jun 19, 2026Updated 2 weeks ago
• cofibrant / agda-nbe

  View on GitHub
  Verified NbE via gluing in Agda
  ☆11May 19, 2024Updated 2 years ago
• ayberkt / simplc

  View on GitHub
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Dec 10, 2019Updated 6 years ago
• suaybarslan / founsure

  View on GitHub
  An Erasure Code Library with Efficient Repair and Update Features
  ☆11Jan 3, 2022Updated 4 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ksharindam / pdf-bunny

  View on GitHub
  Poppler based fast pdf viewer written in PyQt5
  ☆12Mar 25, 2026Updated 3 months ago
• nitely / nim-graphemes

  View on GitHub
  Grapheme aware string handling (Unicode tr29)
  ☆11Sep 19, 2024Updated last year
• HarrisonGrodin / ATPL24

  View on GitHub
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆19Jul 24, 2024Updated last year
• uemurax / synthetic-topos-theory

  View on GitHub
  ☆15Oct 31, 2023Updated 2 years ago
• nairyosangha / mpv-subversive

  View on GitHub
  Automatically load (Japanese) subtitles in MPV
  ☆13Jan 13, 2026Updated 5 months ago
• saidsay-so / gateau

  View on GitHub
  Use your cookies from browsers in your curl, wget and httpie requests!
  ☆21Jun 20, 2026Updated 2 weeks ago
• jonsterling / agda-stc

  View on GitHub
  Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.
  ☆20Feb 26, 2021Updated 5 years ago
• RobertHarper / pl-syntax

  View on GitHub
  PL syntax macros.
  ☆21Apr 24, 2026Updated 2 months ago
• awswan / oraclemodality

  View on GitHub
  ☆14Jun 7, 2024Updated 2 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• byllyfish / exacl

  View on GitHub
  Rust library to manipulate file system access control lists (ACL) on macOS, Linux, and FreeBSD.
  ☆15Jun 3, 2026Updated last month
• RedPRL / asai

  View on GitHub
  🩺 A library for compiler diagnostics
  ☆54Jun 19, 2026Updated 2 weeks ago
• evanreichard / AnthoLume

  View on GitHub
  Mirror for: https://gitea.va.reichard.io/evan/AnthoLume
  ☆14May 2, 2026Updated 2 months ago
• hivecom / qwer

  View on GitHub
  Minimalistic livestreaming site
  ☆13Oct 5, 2025Updated 8 months ago
• Deducteam / Agda2Dedukti

  View on GitHub
  ☆21Jan 24, 2022Updated 4 years ago
• nienpoch / hakka_rime

  View on GitHub
  RIME schema and dict files for Hakka dialect in Taiwan
  ☆12Feb 18, 2020Updated 6 years ago
• tomdjong / MGS-categorical-realizability

  View on GitHub
  Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…
  ☆26Aug 9, 2025Updated 10 months ago
• thosgood / hodge-theory

  View on GitHub
  An English translation of Deligne's three "Hodge theory" papers
  ☆15Feb 7, 2026Updated 4 months ago
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆28May 20, 2026Updated last month
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• effectfully / Cubes

  View on GitHub
  A dependently typed type checker for a TT with intervals
  ☆24Feb 6, 2020Updated 6 years ago
• dannypsnl / write-a-programming-language

  View on GitHub
  How to make a new language(and why we shouldn't?)
  ☆40Aug 8, 2023Updated 2 years ago
• shssoichiro / butter-video

  View on GitHub
  ☆10Jul 30, 2022Updated 3 years ago
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆22Feb 24, 2025Updated last year
• andreypopp / type-systems

  View on GitHub
  Playing with type systems
  ☆51Dec 29, 2024Updated last year
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆26Dec 14, 2020Updated 5 years ago
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆24Dec 15, 2022Updated 3 years ago