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

☆11Jun 22, 2026Updated last month

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 8 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
• 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.
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 10 months ago
• ksharindam / pdf-bunny

  View on GitHub
  Poppler based fast pdf viewer written in PyQt5
  ☆12Mar 25, 2026Updated 3 months ago
• HarrisonGrodin / ATPL24

  View on GitHub
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆19Jul 24, 2024Updated 2 years ago
• rigaya / build_scripts

  View on GitHub
  自分用ビルドスクリプト集
  ☆10Updated this week
• mb64 / xtt

  View on GitHub
  A simple implementation of XTT, "A cubical language for Bishop sets"
  ☆28Apr 22, 2022Updated 4 years 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 last month
• 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
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• thosgood / hodge-theory

  View on GitHub
  An English translation of Deligne's three "Hodge theory" papers
  ☆15Feb 7, 2026Updated 5 months ago
• uemurax / synthetic-topos-theory

  View on GitHub
  ☆15Oct 31, 2023Updated 2 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
• suaybarslan / founsure

  View on GitHub
  An Erasure Code Library with Efficient Repair and Update Features
  ☆11Jan 3, 2022Updated 4 years ago
• Bogdanp / racket-kafka

  View on GitHub
  A Kafka client for Racket.
  ☆18Aug 4, 2025Updated 11 months ago
• nitely / nim-graphemes

  View on GitHub
  Grapheme aware string handling (Unicode tr29)
  ☆11Sep 19, 2024Updated last year
• jonsterling / agda-stc

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

  View on GitHub
  ☆14Jun 7, 2024Updated 2 years ago
• RobertHarper / pl-syntax

  View on GitHub
  PL syntax macros.
  ☆21Apr 24, 2026Updated 3 months ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• RedPRL / asai

  View on GitHub
  🩺 A library for compiler diagnostics
  ☆54Jun 19, 2026Updated last month
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆28May 20, 2026Updated 2 months ago
• nairyosangha / mpv-subversive

  View on GitHub
  Automatically load (Japanese) subtitles in MPV
  ☆13Jan 13, 2026Updated 6 months ago
• Deducteam / Agda2Dedukti

  View on GitHub
  ☆22Jan 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
• effectfully / Cubes

  View on GitHub
  A dependently typed type checker for a TT with intervals
  ☆24Feb 6, 2020Updated 6 years ago
• saidsay-so / gateau

  View on GitHub
  Use your cookies from browsers in your curl, wget and httpie requests!
  ☆20Jun 20, 2026Updated last month
• 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
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆22Feb 24, 2025Updated last year
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• wenkokke / idris-sesh

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

  View on GitHub
  Rust library to manipulate file system access control lists (ACL) on macOS, Linux, and FreeBSD.
  ☆15Updated this week
• andreypopp / type-systems

  View on GitHub
  Playing with type systems
  ☆51Dec 29, 2024Updated last year
• FedeOmoto / llvm

  View on GitHub
  LLVM bindings for the Nim language
  ☆15Aug 16, 2016Updated 9 years ago
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆25Dec 15, 2022Updated 3 years ago
• GaelCathelin / GLSL-DOS

  View on GitHub
  Compile simple Shadertoys into small .COM MS-DOS executables
  ☆10May 13, 2024Updated 2 years ago
• L-TChen / BiSig

  View on GitHub
  Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
  ☆21Jan 30, 2024Updated 2 years ago