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 9 months ago
• RadioNoiseE / apltex

  View on GitHub
  Tiny TeX distribution built on Web2C and LuaTeX.
  ☆10Oct 2, 2025Updated 7 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
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• awalterschulze / the-little-typer-exercises

  View on GitHub
  exercises for the book - the little typer
  ☆21May 15, 2025Updated 11 months ago
• 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
• input-output-hk / typed-protocols

  View on GitHub
  Session types framework with support of protocol pipelining.
  ☆16Apr 15, 2026Updated 3 weeks 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.
  ☆18Updated this week
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• 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
• standardml / parcom

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

  View on GitHub
  ☆11Apr 21, 2026Updated 2 weeks ago
• geisha-lang / Geisha

  View on GitHub
  A naive θ..θ programming language
  ☆27Oct 23, 2018Updated 7 years ago
• appleade / Understanding_Analysis_cn

  View on GitHub
  Chinese translation to Understanding Ananlysis (Stephen Abbott)
  ☆25May 28, 2025Updated 11 months ago
• ammkrn / type_checking_in_lean4

  View on GitHub
  Type Checking in Lean 4
  ☆38Mar 22, 2026Updated last month
• 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
• 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.
• 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
• jhckragh / SMLDoc

  View on GitHub
  SMLDoc, detached from the SML# distribution
  ☆11Oct 22, 2011Updated 14 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
• mhwombat / som

  View on GitHub
  Self-Organising Map implementation in Haskell
  ☆24Sep 4, 2022Updated 3 years ago
• 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.
• pa-ba / equivalence

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

  View on GitHub
  A basic library of algorithms and data structures (a la NJlib)
  ☆76Apr 1, 2025Updated last year
• 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