nponeccop/HNC 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

nponeccop/HNC

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/nponeccop/HNC)

Close

nponeccop / HNCView on GitHubMore

• External links
• Readme badge

HN Compiler

☆61Aug 20, 2025Updated 6 months ago

Alternatives and similar repositories for HNC

Users that are interested in HNC are comparing it to the libraries listed below

• nponeccop / n2o.hs

  View on GitHub
  N2O in Haskell
  ☆29Apr 15, 2016Updated 9 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• voidlizard / hopc

  View on GitHub
  Experimental Scheme-like compiled language
  ☆22Oct 14, 2011Updated 14 years ago
• sjoerdvisscher / effects

  View on GitHub
  Control.Effects
  ☆19Apr 14, 2019Updated 6 years ago
• nponeccop / vz

  View on GitHub
  OpenVZ MAD Profile
  ☆15Aug 18, 2022Updated 3 years ago
• aherrmann / simply_llvm

  View on GitHub
  ☆41Jul 2, 2017Updated 8 years ago
• sinelaw / fresh-lang

  View on GitHub
  ☆14Jan 12, 2018Updated 8 years ago
• HackerFoo / peg

  View on GitHub
  A lazy non-deterministic concatenative programming language
  ☆55Aug 3, 2013Updated 12 years ago
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Feb 17, 2026Updated 2 weeks ago
• orome / crypto-enigma-hs

  View on GitHub
  A Haskell Enigma machine simulator with rich display and machine state details.
  ☆23Dec 2, 2022Updated 3 years ago
• streamcode9 / svg-time-series

  View on GitHub
  SVG time-series charting library
  ☆20Updated this week
• andorp / mini-grin

  View on GitHub
  ICFP tutorial
  ☆39Jul 31, 2021Updated 4 years ago
• pviotti / conver-old

  View on GitHub
  [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
  ☆18Jun 9, 2016Updated 9 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• DanielG / rts-loader

  View on GitHub
  Haskell dynamic RTS loader
  ☆13Jun 24, 2016Updated 9 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• erpuno / mail

  View on GitHub
  💧 MAIL: Система доставки повідомлень
  ☆29Jan 27, 2026Updated last month
• balmerdx / rlc-meter-balmer

  View on GitHub
  ☆13Jun 1, 2016Updated 9 years ago
• samsergey / monopig

  View on GitHub
  Monoidal stack machine
  ☆10Nov 25, 2018Updated 7 years ago
• hellertime / time-recurrence

  View on GitHub
  Generate recurring dates.
  ☆17Jan 15, 2024Updated 2 years ago
• pcapriotti / agda-categories

  View on GitHub
  Category theory and algebra
  ☆27Aug 4, 2016Updated 9 years ago
• TrueLink / TrueLink

  View on GitHub
  TrueLink Messenger - Secure, decentralized, spam-free communication.
  ☆22Jan 28, 2015Updated 11 years ago
• poor-a / erlang-ffi

  View on GitHub
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆68Mar 11, 2024Updated last year
• rampion / kinder-functor

  View on GitHub
  An alternate definition of Haskell's Functor typeclass
  ☆42Jun 18, 2019Updated 6 years ago
• hailstorm-hs / hailstorm

  View on GitHub
  Haskell distributed stream processing with exactly-once semantics
  ☆92Jun 11, 2014Updated 11 years ago
• jaseemabid / lisper

  View on GitHub
  A tiny scheme interpreter in Haskell
  ☆24Jul 14, 2019Updated 6 years ago
• frerich / catamorphism

  View on GitHub
  A package exposing a function for generating catamorphisms.
  ☆29Apr 15, 2018Updated 7 years ago
• HouzuoGuo / Aurinko

  View on GitHub
  Aurinko - a document database engine implementation in Clojure
  ☆58Oct 29, 2012Updated 13 years ago
• udexon / 5CSM

  View on GitHub
  5GL C Stack Machine (Fifth Generation Graph Language)
  ☆12Jan 10, 2019Updated 7 years ago
• tatupesonen / epomo

  View on GitHub
  A tiny pomodoro application done with egui.
  ☆10Feb 25, 2023Updated 3 years ago
• sdiehl / picologic

  View on GitHub
  Symbolic logic expressions
  ☆15Jul 1, 2020Updated 5 years ago
• Geal / gif.rs

  View on GitHub
  ☆13Dec 3, 2017Updated 8 years ago
• jkff / timeplot

  View on GitHub
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆81Mar 22, 2025Updated 11 months ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• haskell-haskey / haskey-btree

  View on GitHub
  B+-tree implementation in Haskell
  ☆28May 12, 2019Updated 6 years ago
• gasche / popl2018-papers

  View on GitHub
  Link to preprints for POPL'18 and colocated events
  ☆86Jun 16, 2018Updated 7 years ago
• groupoid / henk

  View on GitHub
  🧊 Чиста система з всесвітами
  ☆149Jan 8, 2026Updated last month
• mortberg / yacctt

  View on GitHub
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆76Jul 30, 2018Updated 7 years ago
• pepeiborra / term

  View on GitHub
  Term Rewriting Systems
  ☆17Nov 7, 2015Updated 10 years ago