Alternatives and similar repositories for AAAHogEx

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

• PaulBone / gfthings

  View on GitHub
  Paul's Gridfinity Things
  ☆56Jul 4, 2025Updated 7 months ago
• ShenggaoZhu / django-sortedone2many

  View on GitHub
  Provide a one-to-many relationship (SortedOneToManyField) that also remembers the order of related objects.
  ☆10May 18, 2016Updated 9 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• jcoglan / infer

  View on GitHub
  Interpreter for inference rules
  ☆13May 5, 2018Updated 7 years ago
• ahrvoje / numerics

  View on GitHub
  Numerical snippets & tests
  ☆12Jan 5, 2026Updated last month
• voodoos / mlts

  View on GitHub
  ☆11Dec 9, 2022Updated 3 years ago
• ekmett / kanso

  View on GitHub
  just a place to throw some coding experiements while i re-re-re-learn rust
  ☆15Jul 31, 2022Updated 3 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• tjwei / Fractran

  View on GitHub
  Javascript implementation of Fractran
  ☆15Sep 14, 2017Updated 8 years ago
• phadej / hooglite

  View on GitHub
  Alternative and lite implementation of Hoogle
  ☆11Apr 9, 2024Updated last year
• andy128k / sanitize-html-rs

  View on GitHub
  Rust library for HTML santisation. https://docs.rs/sanitize_html/
  ☆16Oct 20, 2025Updated 3 months ago
• DSLsofMath / FLABloM

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 4 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• jameysharp / live-long-and-prospero

  View on GitHub
  A small compiler for the Prospero Challenge in Constructive Solid Geometry
  ☆11Nov 28, 2025Updated 2 months ago
• cuplv / iodyn-lang.rust

  View on GitHub
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Feb 22, 2018Updated 7 years ago
• mmhelloworld / Idris2-boot

  View on GitHub
  A dependently typed programming language, a successor to Idris
  ☆12Jul 18, 2021Updated 4 years ago
• playXE / garbage-collector

  View on GitHub
  Garbage collector implementation in Rust for Rust
  ☆13Aug 30, 2020Updated 5 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• jclark / lang-ietf-opentype

  View on GitHub
  Map between IETF language tags and OpenType language system tags
  ☆12Aug 20, 2020Updated 5 years ago
• callum-oakley / json5-to-json

  View on GitHub
  A bare-bones tool for converting JSON5 to plain JSON.
  ☆13Aug 20, 2022Updated 3 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• kssytsrk / cellular-automata

  View on GitHub
  Cellular automata environment written in Common Lisp
  ☆17Apr 17, 2021Updated 4 years ago
• namin / higher-rank

  View on GitHub
  Practical type inference for arbitrary-rank types
  ☆11May 25, 2019Updated 6 years ago
• jimwhite / treemeta

  View on GitHub
  A revival of the TREE-META compiler-compiler.
  ☆15May 15, 2018Updated 7 years ago
• mp81ss / gendoxy

  View on GitHub
  An emacs plugin to generate doxygen documentation from C source code
  ☆11Oct 4, 2023Updated 2 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• benfle / META-II

  View on GitHub
  Experiments with META II
  ☆12Jan 9, 2018Updated 8 years ago
• githwxi / XATSHOME

  View on GitHub
  For hosting ATS3 and developing CodeDepot
  ☆16Feb 6, 2026Updated last week
• PerplexSystems / commandry

  View on GitHub
  A command-line parser for Standard ML
  ☆21Dec 29, 2025Updated last month
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• clayrat / idris-linear

  View on GitHub
  Experiments with linear types
  ☆14Feb 23, 2018Updated 7 years ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago