97jaz/hamt 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

97jaz/hamt

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/97jaz/hamt)

Close

97jaz / hamtView on GitHubMore

• External links
• Readme badge

Hash Array Mapped Tries for Racket

☆21Jan 30, 2017Updated 9 years ago

Alternatives and similar repositories for hamt

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

• FranklinChen / Ebnf2ps

  View on GitHub
  Generate PostScript diagrams from an EBNF grammar
  ☆25Aug 26, 2015Updated 10 years ago
• gergoerdi / generic-syntax

  View on GitHub
  Library implementation of "Generic description of well-scoped, well-typed syntaxes"
  ☆12Mar 25, 2018Updated 7 years ago
• wsoltys / pacedev

  View on GitHub
  Programmable Arcade Circuit Emulation
  ☆15Oct 14, 2017Updated 8 years ago
• jackhumbert / zbalermorna-upright-font

  View on GitHub
  ☆18Jul 23, 2019Updated 6 years ago
• jeapostrophe / lux

  View on GitHub
  lux - a simple library for creating real-time graphical apps
  ☆30Oct 4, 2021Updated 4 years ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• ifigueroap / racket-quickcheck

  View on GitHub
  Quickcheck Clone implemented in Racket
  ☆31Jul 30, 2024Updated last year
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago
• yanyingwang / http-client

  View on GitHub
  A practical http client library for sending data to http servers.
  ☆10Jul 10, 2024Updated last year
• namin / mk-on-smt

  View on GitHub
  miniKanren for search, SMT for solving
  ☆13Oct 20, 2019Updated 6 years ago
• plclub / cbpv-effects-coeffects

  View on GitHub
  Formalization of CBPV extended with effect and coeffect tracking
  ☆14Aug 30, 2024Updated last year
• Kraks / MyPLZoo

  View on GitHub
  Implementations of various toy programming languages
  ☆12Apr 19, 2018Updated 7 years ago
• schemedoc / srfi-metadata

  View on GitHub
  Import SRFI metadata into the Scheme API
  ☆11Jan 19, 2026Updated 2 months ago
• JoeyEremondi / GDTL-artifact

  View on GitHub
  A Gradual Dependently-typed Language
  ☆14Jun 26, 2019Updated 6 years ago
• snoyberg / yesoddocs

  View on GitHub
  Yesod Web Framework documentation site
  ☆32Sep 11, 2011Updated 14 years ago
• herbie-fp / regraph

  View on GitHub
  Racket Equivalence Graph Library
  ☆19May 24, 2022Updated 3 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• UlfNorell / quasi-quote

  View on GitHub
  Quasi-quoting library for agda
  ☆18Nov 29, 2024Updated last year
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 4 months ago
• lakmeer / zbalermorna

  View on GitHub
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆20Aug 8, 2019Updated 6 years ago
• stchang / parsack

  View on GitHub
  A basic Parsec-like monadic parser combinator library implementation in Racket.
  ☆49Dec 3, 2022Updated 3 years ago
• tvdstorm / oalgcomp

  View on GitHub
  Object Algebra Composition
  ☆24Jul 4, 2013Updated 12 years ago
• GaloisInc / llvm-pretty

  View on GitHub
  An llvm pretty printer inspired by the haskell llvm binding
  ☆31Mar 6, 2026Updated 2 weeks ago
• camoy / trace-contract

  View on GitHub
  ☆12Jul 1, 2025Updated 8 months ago
• mattearly / DnD_5e_Perfect_Spells

  View on GitHub
  5th Edition Spells - curated into a json format. also a big list of special woods and metals
  ☆21Jul 24, 2023Updated 2 years ago
• t6d / action_widget

  View on GitHub
  A widget system for Ruby on Rails and Middleman.
  ☆29Mar 17, 2025Updated last year
• MPLLang / parallel-ml-bench

  View on GitHub
  Parallel ML benchmark suite
  ☆21Dec 8, 2025Updated 3 months ago
• bobatkey / system-f-parametricity-model

  View on GitHub
  A Model of Relationally Parametric System F in Coq
  ☆22May 27, 2015Updated 10 years ago
• dvanhorn / oaam

  View on GitHub
  Optimizing Abstract Abstract Machines
  ☆31Apr 6, 2017Updated 8 years ago
• c-cube / choice

  View on GitHub
  Choice operator in OCaml, providing a backtracking monad
  ☆26Jan 26, 2022Updated 4 years ago
• akeep / abstract-racket

  View on GitHub
  An abstract machine for analyzing Racket bytecode.
  ☆29May 1, 2021Updated 4 years ago
• DaveAckley / ULAM

  View on GitHub
  Compiler for MFM programming language
  ☆26Jun 29, 2025Updated 8 months ago
• zinid / delimcc

  View on GitHub
  Delimited continuations in byte-code and native OCaml
  ☆27Jan 10, 2021Updated 5 years ago
• mirage / mrmime

  View on GitHub
  What do you mean?
  ☆47Dec 10, 2025Updated 3 months ago
• sweirich / graded-haskell

  View on GitHub
  Graded Dependent Type systems
  ☆25Jun 28, 2023Updated 2 years ago
• sunshowers / z3.rkt

  View on GitHub
  Racket bindings for Z3
  ☆20Aug 7, 2012Updated 13 years ago
• jsiek / featherweight-C

  View on GitHub
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Feb 18, 2021Updated 5 years ago
• janestreet / async_unix

  View on GitHub
  Jane Street Capital's asynchronous execution library (unix)
  ☆34Jan 15, 2026Updated 2 months ago
• AndrasKovacs / staged-fusion

  View on GitHub
  Staged push/pull fusion with typed Template Haskell
  ☆62Dec 17, 2023Updated 2 years ago