Alternatives and similar repositories for hash-modulo-alpha

Users that are interested in hash-modulo-alpha are comparing it to the libraries listed below

• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆37Jun 14, 2023Updated 2 years ago
• izumi-h / ccgcomp

  View on GitHub
  Logical inference system based on event semantics and degree semantics in formal semantics
  ☆11Jan 22, 2023Updated 3 years ago
• wallace / yamldiff

  View on GitHub
  Run a diff between two yaml files.
  ☆19Jul 19, 2022Updated 3 years ago
• vassilych / cscscpp

  View on GitHub
  CSCS Scripting Language Implemented in C++
  ☆11Mar 5, 2017Updated 8 years ago
• kwanghoon / Lecture_EOPL_Exercise

  View on GitHub
  Exercises for EOPL in Haskell
  ☆10Apr 1, 2025Updated 10 months ago
• render-examples / discourse

  View on GitHub
  ☆10Dec 6, 2022Updated 3 years ago
• fluent-plugins-nursery / geoip2_c

  View on GitHub
  libmaxminddb binding for Ruby
  ☆10Aug 17, 2023Updated 2 years ago
• sharplispers / csv-parser

  View on GitHub
  Some hacks on top of Alain Picard's CSV parser
  ☆16Jun 2, 2014Updated 11 years ago
• sacundim / free-operational

  View on GitHub
  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
  ☆25Jun 16, 2017Updated 8 years ago
• atlas-engineer / ndebug

  View on GitHub
  A Common Lisp toolkit to construct interface-aware yet standard-compliant debugger hooks.
  ☆12Jan 2, 2025Updated last year
• robrix / tilec

  View on GitHub
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Mar 26, 2020Updated 5 years ago
• totakke / libra

  View on GitHub
  Benchmarking framework for Clojure
  ☆10Feb 27, 2019Updated 6 years ago
• AbeHandler / rookie

  View on GitHub
  The Rookie Text Analysis System
  ☆10Dec 8, 2022Updated 3 years ago
• phoe / destructuring-bind-star

  View on GitHub
  DESTRUCTURING-BIND with proper error signaling
  ☆13Apr 30, 2020Updated 5 years ago
• npatrick04 / timer-wheel

  View on GitHub
  A portable single-layer timer wheel implementation.
  ☆13Dec 8, 2025Updated 2 months ago
• atgreen / cl-embeddings

  View on GitHub
  A Common Lisp embeddings library
  ☆14Apr 6, 2024Updated last year
• stellaraccident / mlir-py-release

  View on GitHub
  ☆12Jul 9, 2021Updated 4 years ago
• facundominguez / stitch-lh

  View on GitHub
  ☆11Feb 15, 2022Updated 4 years ago
• heavyai / community_datasets

  View on GitHub
  Example datasets and dashboards known to work well in OmniSci
  ☆15Sep 25, 2020Updated 5 years ago
• Quansight-Labs / rnumpy

  View on GitHub
  An experiment in trying to define a core and cleaned-up NumPy API: RNumPy
  ☆13Feb 19, 2021Updated 4 years ago
• w3c / rdf-star-wg-charter

  View on GitHub
  ☆11May 6, 2025Updated 9 months ago
• dylanirlbeck / hello-ppx-bucklescript

  View on GitHub
  Reason PPX starter project using bsb-native.
  ☆12May 5, 2020Updated 5 years ago
• fairydancecreations / galaxydriveV3.5

  View on GitHub
  6.2v zener , 100uh for voltage smoothing can be jumped .
  ☆10Mar 23, 2021Updated 4 years ago
• nyu-cds / python-numba

  View on GitHub
  ☆11Dec 12, 2021Updated 4 years ago
• cvdub / validated-class

  View on GitHub
  Common Lisp metaclass adding support for slot validation
  ☆11Mar 31, 2025Updated 10 months ago
• maria-antoniak / fight-harassment-in-research

  View on GitHub
  ☆16Aug 19, 2024Updated last year
• berkeley-dsep-infra / infrastructure

  View on GitHub
  Berkeley's Data8 Infrastructure specific documentation & guides
  ☆10Jun 22, 2020Updated 5 years ago
• didierverna / asdf-flv

  View on GitHub
  ASDF extension to provide support for file-local variables
  ☆10Jan 5, 2024Updated 2 years ago
• cytoscape / jupyter-cytoscape

  View on GitHub
  Cytoscape.js API support in JS, Python, and R Jupyter kernels
  ☆10Nov 11, 2017Updated 8 years ago
• GoogleCloudPlatform / monitoring-javascript-dashboard

  View on GitHub
  ☆28Sep 8, 2016Updated 9 years ago
• zerkalica / immutable-di

  View on GitHub
  Simple dependency injection container with some state handling functions (for facebook flux-like state-management)
  ☆12Nov 2, 2017Updated 8 years ago
• quinn-dougherty / ladr

  View on GitHub
  linear algebra done right in coq
  ☆11Apr 6, 2021Updated 4 years ago
• pa-ba / reg-machine

  View on GitHub
  Coq & Haskell code for Calculating Correct Compilers II
  ☆12Feb 22, 2022Updated 3 years ago
• leanprover / lake

  View on GitHub
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆101Oct 25, 2023Updated 2 years ago
• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 6 years ago
• updateimpact / updateimpact-sbt-plugin

  View on GitHub
  ☆11Dec 23, 2017Updated 8 years ago
• lokedhs / cl-gdata

  View on GitHub
  Access to Google services from Common Lisp
  ☆15Nov 18, 2017Updated 8 years ago
• yuvipanda / jupyterlab-nbmetadata

  View on GitHub
  ☆13Jun 25, 2021Updated 4 years ago
• usini / usini-cards

  View on GitHub
  A card game to learn how to wire electronics components.
  ☆12Jun 21, 2020Updated 5 years ago