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
  ☆29Jul 29, 2025Updated 10 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
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• ccntrq / loxomotive

  View on GitHub
  loxomotive - A Lox Interpreter implemented in Haskell
  ☆17Jan 8, 2022Updated 4 years ago
• 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.
  ☆16May 14, 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
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• SacBase / Stdlib

  View on GitHub
  This repository contains the core and extended source files of the standard library of the SaC programming language.
  ☆18May 4, 2026Updated 3 weeks ago
• chclock / mysql

  View on GitHub
  mySQL binding for Chez Scheme
  ☆14Oct 29, 2018Updated 7 years ago
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• BolaRay-d / BolaRay

  View on GitHub
  ☆11Apr 21, 2026Updated last month
• chocolateboy / startup-time

  View on GitHub
  A command-line benchmarking tool to measure the startup times of programs in various languages
  ☆14Oct 17, 2020Updated 5 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 2 months ago
• vassilych / cscscpp

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

  View on GitHub
  Python LINQ (Language Integrated Query) wrapper
  ☆11Jun 30, 2011Updated 14 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• appleade / Understanding_Analysis_cn

  View on GitHub
  Chinese translation to Understanding Ananlysis (Stephen Abbott)
  ☆26May 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 2 months ago
• dbym4820 / cl-ignition

  View on GitHub
  Common Lisp SPARQL query generation library
  ☆12Aug 3, 2019Updated 6 years ago
• Meinersbur / pet

  View on GitHub
  Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)
  ☆41Jul 22, 2022Updated 3 years ago
• ZHaskell / z-botan

  View on GitHub
  Crypto for Haskell
  ☆37Jun 24, 2021Updated 4 years ago
• nyu-cds / python-numba

  View on GitHub
  ☆11Dec 12, 2021Updated 4 years ago
• Neronus / CL-CUDD

  View on GitHub
  Common lisp bindings to CUDD.
  ☆13Jan 3, 2018Updated 8 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 http://incredible.pm/
  ☆10Apr 21, 2020Updated 6 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• mhwombat / som

  View on GitHub
  Self-Organising Map implementation in Haskell
  ☆24Sep 4, 2022Updated 3 years ago
• pa-ba / equivalence

  View on GitHub
  ☆13Jan 7, 2026Updated 4 months ago
• zerokarmaleft / tapl-haskell

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

  View on GitHub
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Dec 22, 2019Updated 6 years ago
• awf / Coconut

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

  View on GitHub
  ☆11Feb 15, 2022Updated 4 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