Alternatives and similar repositories for alb-alloy

Users that are interested in alb-alloy are comparing it to the libraries listed below

• bolt12 / zettel

  View on GitHub
  Zettelkasten file processor
  ☆12Oct 7, 2020Updated 5 years ago
• florence / reactor

  View on GitHub
  An embedded synchronous reactive language, a la reactiveML, for Racket.
  ☆13Dec 29, 2018Updated 7 years ago
• lorin / dns-alloy

  View on GitHub
  Modeling DNS with Alloy
  ☆37Dec 6, 2021Updated 4 years ago
• hanshoglund / iso-deriving

  View on GitHub
  Derive instances through isomorphisms
  ☆20Jun 7, 2024Updated last year
• fpco / haskell.fpcomplete.com

  View on GitHub
  FP Complete's Haskell Homepage
  ☆14Mar 17, 2020Updated 5 years ago
• bolt12 / study-for-free

  View on GitHub
  Notes of various papers regaridng free monads and extensible effects
  ☆20Oct 10, 2019Updated 6 years ago
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• conal / talk-2020-calculating-compilers-categorically

  View on GitHub
  A talk
  ☆29Apr 14, 2021Updated 4 years ago
• bolt12 / tymfgg-pearl

  View on GitHub
  Type Your Matrices For Great Good
  ☆29Jul 22, 2020Updated 5 years ago
• isovector / algebra-checkers

  View on GitHub
  checkers for algebra driven design
  ☆34Nov 19, 2022Updated 3 years ago
• masaeedu / reading

  View on GitHub
  ☆31Mar 5, 2022Updated 3 years ago
• jamesbornholt / z3-ios

  View on GitHub
  run z3 on iOS for some reason
  ☆38Sep 5, 2022Updated 3 years ago
• om-mani-padme-hum / mysql-await

  View on GitHub
  Simple MySQL Async/Await Connection Pool
  ☆10Dec 8, 2022Updated 3 years ago
• rmculpepper / sql

  View on GitHub
  Embedding of some of SQL into Racket
  ☆34Mar 24, 2022Updated 3 years ago
• tachcard / watchdog

  View on GitHub
  ☆10Apr 9, 2015Updated 10 years ago
• saas-studio / saaskit

  View on GitHub
  Low-Code SaaS Framework
  ☆10Jan 14, 2026Updated last month
• elishacloud / Castle-Adventure

  View on GitHub
  A graphical remake of the 1984 Castle Adventure game initially created by Kevin Bales.
  ☆15Jul 2, 2020Updated 5 years ago
• nhshackday / nhshackday.github.io

  View on GitHub
  NHS Hack Day website
  ☆13Jan 28, 2026Updated 2 weeks ago
• skypher / blackthorn

  View on GitHub
  2D game engine for Common Lisp
  ☆12Jun 5, 2012Updated 13 years ago
• lexi-lambda / talks

  View on GitHub
  ☆45Jun 11, 2023Updated 2 years ago
• alhassy / AgdaCheatSheet

  View on GitHub
  Basics of the dependently-typed functional language Agda ^_^
  ☆41Jan 6, 2022Updated 4 years ago
• mathiasverraes / jira-issues-in-github

  View on GitHub
  Turn Jira issue numbers (like XX-123) in GitHub into links.
  ☆15Mar 6, 2018Updated 7 years ago
• Echsecutor / coffee

  View on GitHub
  coffee stains package for latex
  ☆12Dec 7, 2020Updated 5 years ago
• DSLsofMath / FLABloM

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 3 years ago
• stefanhaustein / tantilla

  View on GitHub
  Mobile IDE
  ☆12Nov 9, 2020Updated 5 years ago
• LeastAuthority / haskell-magic-wormhole

  View on GitHub
  Magic Wormhole for Haskell
  ☆11Apr 23, 2024Updated last year
• jeapostrophe / pict3d

  View on GitHub
  3-dimensional picts
  ☆40Jan 16, 2025Updated last year
• DRMacIver / hypothesis-training

  View on GitHub
  Repository for my Hypothesis training course
  ☆11Sep 30, 2016Updated 9 years ago
• datagraph / cl-ndbapi

  View on GitHub
  Common Lisp bindings to the C++ NDB API of RonDB
  ☆15Sep 17, 2025Updated 4 months ago
• NastyBoget / hrtr

  View on GitHub
  Handwritten Russian text recognition
  ☆14May 1, 2023Updated 2 years ago
• Netflix / techreports

  View on GitHub
  Technical reports and preprints
  ☆14Jul 30, 2016Updated 9 years ago
• ryanfb / docker_scantailor

  View on GitHub
  Docker for ScanTailor and ScanTailor Advanced
  ☆14Mar 17, 2024Updated last year
• antmicro / usb-test-suite-cocotb-usb

  View on GitHub
  ☆10Apr 8, 2021Updated 4 years ago
• Bogdanp / try-racket

  View on GitHub
  An online playground for Racket.
  ☆13May 11, 2021Updated 4 years ago
• sami-evangelista / helena

  View on GitHub
  the helena Petri net tool repository
  ☆11Sep 8, 2021Updated 4 years ago
• ots22 / racket-ad-demos

  View on GitHub
  Exploring Automatic Differentiation with Racket
  ☆12Jan 9, 2022Updated 4 years ago
• DBCG / cql_execution_service

  View on GitHub
  Clinical Quality Language Execution Service
  ☆11Jul 15, 2022Updated 3 years ago
• OpenVZ / vcmmd

  View on GitHub
  [mirror] Virtuozzo containers memory management daemon
  ☆10Apr 29, 2024Updated last year
• TomByrne / Guise

  View on GitHub
  A GUI library for Haxe supporting native and non-native controls
  ☆41Mar 8, 2014Updated 11 years ago