zachhalle/hotc 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

zachhalle/hotc

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/zachhalle/hotc)

Close

zachhalle / hotcView on GitHubMore

• External links
• Readme badge

Notes on higher-order typed compilation. Probably wrong

☆24Oct 20, 2022Updated 3 years ago

Alternatives and similar repositories for hotc

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

• Booob / P523

  View on GitHub
  P523 Code
  ☆30Jan 21, 2015Updated 11 years ago
• etiamz / NbE-resources

  View on GitHub
  📚 A collection of resources about normalization-by-evaluation
  ☆30Jul 29, 2025Updated 11 months ago
• vampire-rip / vampire-os

  View on GitHub
  Full guide of 6.828 OS Lab
  ☆15Aug 29, 2020Updated 5 years 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
• awalterschulze / the-little-typer-exercises

  View on GitHub
  exercises for the book - the little typer
  ☆21May 15, 2025Updated 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.
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• minimapletinytools / haskell-ffi-cabal-foreign-library-examples

  View on GitHub
  Example project of using cabal 2.0`s foreign-library feature to build a haskell library that lets you call haskell code from C/C++.
  ☆17Feb 22, 2020Updated 6 years ago
• IntersectMBO / typed-protocols

  View on GitHub
  Session types framework with support of protocol pipelining.
  ☆16Jun 23, 2026Updated 2 weeks ago
• TerrorJack / erumpo

  View on GitHub
  Just a prototype, but will be improved soon.
  ☆22Jan 9, 2015Updated 11 years ago
• paulcadman / the-little-typer

  View on GitHub
  Resources for "The Little Typer" study group
  ☆51Mar 19, 2020Updated 6 years ago
• keyz / p423-compiler

  View on GitHub
  A Scheme to x86-64 compiler in Scheme
  ☆81May 4, 2015Updated 11 years ago
• pa-ba / reg-machine

  View on GitHub
  Coq & Haskell code for Calculating Correct Compilers II
  ☆12Feb 22, 2022Updated 4 years ago
• sdzx-1 / typed-fsm

  View on GitHub
  A fully type-safe finite state machines
  ☆20Nov 19, 2024Updated last year
• SacBase / Stdlib

  View on GitHub
  This repository contains the core and extended source files of the standard library of the SaC programming language.
  ☆19Updated this week
• 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.
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• standardml / parcom

  View on GitHub
  SML Parser Combinator Library
  ☆28Apr 30, 2016Updated 10 years ago
• geisha-lang / Geisha

  View on GitHub
  A naive θ..θ programming language
  ☆27Oct 23, 2018Updated 7 years ago
• vfleaking / uoj-sample-problems

  View on GitHub
  Universal Online Judge (UOJ) 样题
  ☆11Sep 23, 2022Updated 3 years ago
• ammkrn / type_checking_in_lean4

  View on GitHub
  Type Checking in Lean 4
  ☆38Mar 22, 2026Updated 3 months ago
• vassilych / cscscpp

  View on GitHub
  CSCS Scripting Language Implemented in C++
  ☆11Mar 5, 2017Updated 9 years ago
• appleade / Understanding_Analysis_cn

  View on GitHub
  Chinese translation to Understanding Ananlysis (Stephen Abbott)
  ☆27May 28, 2025Updated last year
• verif-scop / PolCert

  View on GitHub
  A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…
  ☆23Mar 9, 2026Updated 4 months ago
• dbym4820 / cl-ignition

  View on GitHub
  Common Lisp SPARQL query generation library
  ☆12Aug 3, 2019Updated 6 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.
• jhckragh / SMLDoc

  View on GitHub
  SMLDoc, detached from the SML# distribution
  ☆11Oct 22, 2011Updated 14 years ago
• Meinersbur / pet

  View on GitHub
  Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)
  ☆42Jul 22, 2022Updated 3 years ago
• Neronus / CL-CUDD

  View on GitHub
  Common lisp bindings to CUDD.
  ☆13Jan 3, 2018Updated 8 years ago
• nyu-cds / python-numba

  View on GitHub
  ☆11Dec 12, 2021Updated 4 years ago
• NyaMisty / simple_dev_docker

  View on GitHub
  Dev Ubuntu 20.04 Docker image, with Oh-My-Zsh/Pyenv/GNU&LLVM Build Tools, suitable as a temp sysroot
  ☆12Aug 10, 2022Updated 3 years ago
• Nimita311 / incredible-solution

  View on GitHub
  Solutions to the Incredible Proof Machine https://incredible.pm/
  ☆10Jun 15, 2026Updated 3 weeks ago
• pa-ba / equivalence

  View on GitHub
  ☆13Jan 7, 2026Updated 6 months ago
• standardml / cmlib

  View on GitHub
  A basic library of algorithms and data structures (a la NJlib)
  ☆77Apr 1, 2025Updated last year
• siraben / eopl

  View on GitHub
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Dec 22, 2019Updated 6 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.
• zerokarmaleft / tapl-haskell

  View on GitHub
  Types and Programming Languages
  ☆37Aug 11, 2014Updated 11 years ago
• awf / Coconut

  View on GitHub
  Shaking expression trees until something tasty pops out
  ☆17Oct 30, 2018Updated 7 years ago
• leftaroundabout / dumb-cas

  View on GitHub
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Mar 16, 2024Updated 2 years ago
• facundominguez / stitch-lh

  View on GitHub
  ☆11Feb 15, 2022Updated 4 years ago
• teach-plt / plt-errata

  View on GitHub
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Nov 13, 2025Updated 7 months ago
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆38May 17, 2026Updated last month
• hooyuser / Solution-to-Algebra-Chapter-0

  View on GitHub
  Solution to Algebra, Chapter 0
  ☆104Dec 17, 2025Updated 6 months ago