groupoid/henk 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

groupoid/henk

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/groupoid/henk)

Close

groupoid / henkView on GitHubMore

• External links
• Readme badge

🧊 Чиста система з всесвітами

☆147Mar 24, 2026Updated 2 weeks ago

Alternatives and similar repositories for henk

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

• 5HT / a64

  View on GitHub
  A64: ARM64 Assembler for Erlang
  ☆11Sep 30, 2020Updated 5 years ago
• o89 / n2o

  View on GitHub
  N2O: Application Server
  ☆13Nov 22, 2022Updated 3 years ago
• synrc / kvs

  View on GitHub
  💿 KVS: Abstraction Layer
  ☆175Mar 1, 2026Updated last month
• ocamllabs / ocaml-effects

  View on GitHub
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Apr 29, 2016Updated 9 years ago
• ilya-klyuchnikov / ttlite

  View on GitHub
  A SuperCompiler for Martin-Löf's Type Theory
  ☆126Jan 29, 2022Updated 4 years ago
• 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.
• KlausTrainer / erlyjs

  View on GitHub
  Fork of Roberto Saccon's ErlyJs
  ☆12May 2, 2013Updated 12 years ago
• ziman / itt

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

  View on GitHub
  Erlang Backend for Idris Compiler
  ☆187Jul 1, 2017Updated 8 years ago
• VictorTaelin / ESCoC

  View on GitHub
  A nano "theorem prover".
  ☆63Feb 15, 2019Updated 7 years ago
• effectfully / Cubes

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

  View on GitHub
  an experimental programming language for the erlang vm that is actually useful
  ☆29Aug 23, 2019Updated 6 years ago
• groupoid / groupoid.space

  View on GitHub
  🧊 Інститут формальної математики
  ☆35Mar 27, 2026Updated 2 weeks ago
• seriyps / eplaypen

  View on GitHub
  Erlang web playground http://tryerl.seriyps.ru/
  ☆34May 28, 2025Updated 10 months ago
• eproxus / grapherl

  View on GitHub
  Create graphs of Erlang systems and programs
  ☆91Jun 19, 2023Updated 2 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• groupoid / axio

  View on GitHub
  🧊 Методологія верифікації теорем
  ☆92Mar 27, 2026Updated 2 weeks ago
• fogfish / datum

  View on GitHub
  pure functional and generic programming for Erlang
  ☆126Jul 7, 2025Updated 9 months ago
• poor-a / erlang-ffi

  View on GitHub
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆68Mar 11, 2024Updated 2 years ago
• synrc / mad

  View on GitHub
  ⚡ MAD: Managing Application Dependencies LING/UNIX
  ☆173Apr 8, 2022Updated 4 years ago
• ibrahimsag / rw

  View on GitHub
  an experiment in presenting code.
  ☆14Aug 11, 2020Updated 5 years ago
• thinkpad20 / rowling

  View on GitHub
  A simple, easily embeddable pure-functional language with static typing and row polymorphism.
  ☆10Jul 9, 2015Updated 10 years ago
• sweirich / tal

  View on GitHub
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆150Sep 30, 2021Updated 4 years ago
• otpcl / otpcl

  View on GitHub
  Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang
  ☆39Aug 20, 2022Updated 3 years ago
• Toxaris / pts

  View on GitHub
  Interpreter for functional pure type systems.
  ☆21Jun 30, 2017Updated 8 years ago
• NordVPN Special Discount Offer • Ad
  Save on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
• maximedenes / coq-amd64

  View on GitHub
  ☆21Mar 15, 2016Updated 10 years ago
• SimonJF / monitored-session-erlang

  View on GitHub
  Supervised Session Actors
  ☆22Jul 6, 2016Updated 9 years ago
• uwiger / setup

  View on GitHub
  Generic setup utility for Erlang-based systems
  ☆70Mar 25, 2026Updated 2 weeks ago
• ilya-klyuchnikov / henk

  View on GitHub
  Pure Type Systems for Functional Programming
  ☆31Nov 21, 2020Updated 5 years ago
• spire / spire

  View on GitHub
  The Spire Programming Language
  ☆59Oct 23, 2014Updated 11 years ago
• owo-lang / voile-rs

  View on GitHub
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆100Sep 21, 2020Updated 5 years ago
• o83 / n2o

  View on GitHub
  N2O: Rust Application Server
  ☆17Jul 9, 2019Updated 6 years ago
• Gabriella439 / Haskell-Morte-Library

  View on GitHub
  A bare-bones calculus-of-constructions
  ☆384Sep 4, 2022Updated 3 years ago
• uwiger / locks

  View on GitHub
  A scalable, deadlock-resolving resource locker
  ☆206Oct 15, 2023Updated 2 years ago
• Wordpress hosting with auto-scaling on Cloudways • Ad
  Fully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
• ThomasArts / tricky-supervisor

  View on GitHub
  Erlang and Elixir supervisors restart strategies
  ☆11Aug 3, 2017Updated 8 years ago
• MrChico / Reals-in-agda

  View on GitHub
  Constructive definition of real numbers implemented in agda.
  ☆10Jul 31, 2016Updated 9 years ago
• lexi-lambda / higher-rank

  View on GitHub
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101May 9, 2017Updated 8 years ago
• groupoid / anders

  View on GitHub
  🧊 Модальний гомотопічний верифікатор математики
  ☆23Mar 27, 2026Updated 2 weeks ago
• ferd / cth_readable

  View on GitHub
  Common Test hooks for more readable logs
  ☆49Feb 28, 2025Updated last year
• erlangbureau / octopus

  View on GitHub
  Small and flexible pool manager written in Erlang
  ☆12May 31, 2019Updated 6 years ago
• twanvl / ttie

  View on GitHub
  Type Theory with Indexed Equality
  ☆26Apr 7, 2017Updated 9 years ago