Alternatives and similar repositories for alloy-mode

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

• sdroege / mandelbrot

  View on GitHub
  GTK/Rust based viewer for the Mandelbrot set
  ☆13Nov 13, 2025Updated 3 months ago
• mrkkrp / fix-input

  View on GitHub
  Make input methods play nicely with alternative keyboard layouts on OS level
  ☆10Nov 26, 2025Updated 2 months ago
• obsidiansystems / vessel

  View on GitHub
  Functor-parametric containers
  ☆20Jan 19, 2025Updated last year
• byulparan / cl-audiovisual

  View on GitHub
  AudioVisual library for Common Lisp
  ☆14Dec 17, 2025Updated last month
• mkloczko / derive-storable

  View on GitHub
  Deriving Storable instances using GHC.Generics
  ☆16Apr 9, 2022Updated 3 years ago
• gvolpe / postgresql-resilient

  View on GitHub
  Automatic re-connection support for PostgreSQL.
  ☆15Aug 12, 2021Updated 4 years ago
• ocramz / thih

  View on GitHub
  typing haskell in haskell
  ☆18Sep 22, 2022Updated 3 years ago
• darius / mccarthy-to-bryant

  View on GitHub
  Propositional logic in terms of if-then-else
  ☆15Jul 15, 2017Updated 8 years ago
• sordina / crashkell

  View on GitHub
  Learn Haskell by Crashing
  ☆17Sep 8, 2019Updated 6 years ago
• synacktiv / toy-wasm-symbexp

  View on GitHub
  A toy symbolic execution engine, supporting the blog article ...
  ☆18Sep 8, 2021Updated 4 years ago
• mtolly / conduit-audio

  View on GitHub
  Use conduit to process/manipulate/convert audio
  ☆18Jan 16, 2020Updated 6 years ago
• ryankohl / seabass

  View on GitHub
  A library for working with RDF with Jena in Clojure (http://clojars.org/seabass)
  ☆29Jul 23, 2016Updated 9 years ago
• ieQu1 / system_monitor

  View on GitHub
  "htop" for erlang / elixir processes
  ☆16Apr 23, 2025Updated 9 months ago
• lokedhs / mastodon

  View on GitHub
  Common Lisp interface to mastodon
  ☆15Mar 19, 2018Updated 7 years ago
• ocharles / nix-build-cache

  View on GitHub
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Feb 6, 2021Updated 5 years ago
• larsjarlvik / dungeon-crawler

  View on GitHub
  A cross platform 3D dungeon crawler RPG.
  ☆19Feb 6, 2026Updated last week
• evaporei / hisp

  View on GitHub
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Sep 13, 2019Updated 6 years ago
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• lexi-lambda / racket-mvar

  View on GitHub
  An implementation of Haskell’s MVars in Racket
  ☆30Oct 12, 2024Updated last year
• i-am-tom / world-building-in-haskell

  View on GitHub
  Code written for the Berlin FP meetup.
  ☆25May 10, 2020Updated 5 years ago
• pbogdan / ngx-top

  View on GitHub
  Monitor nginx access logs in real time.
  ☆25Dec 9, 2019Updated 6 years ago
• codygman / concise-json-parsing-in-haskell

  View on GitHub
  concise json parsing in Haskell using lenses
  ☆20Oct 2, 2017Updated 8 years ago
• gvolpe / fts

  View on GitHub
  Postgres full-text search (fts)
  ☆28Jan 6, 2022Updated 4 years ago
• haskell-actions / hackage-publish

  View on GitHub
  A GitHub action for publishing packages on Hackage
  ☆33Jan 8, 2024Updated 2 years ago
• GaloisInc / pure-zlib

  View on GitHub
  A Haskell-only implementation of zlib / DEFLATE.
  ☆32Dec 27, 2021Updated 4 years ago
• qfpl / reflex-tutorial

  View on GitHub
  ☆29Oct 23, 2019Updated 6 years ago
• mrkkrp / ebal

  View on GitHub
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Mar 19, 2018Updated 7 years ago
• ndmitchell / neil

  View on GitHub
  General tools for Neil
  ☆38Feb 2, 2025Updated last year
• thsutton / aeson-diff

  View on GitHub
  Generate and apply diffs between JSON documents.
  ☆39Oct 5, 2022Updated 3 years ago
• claudiosa / CCS

  View on GitHub
  Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
  ☆38Feb 3, 2026Updated last week
• chessai / pump

  View on GitHub
  reverse dependency build matrix generator
  ☆33Sep 19, 2020Updated 5 years ago
• NicolasPetton / stream

  View on GitHub
  Lazy sequence library for Emacs.
  ☆33Aug 1, 2016Updated 9 years ago
• dspinellis / unix-architecture

  View on GitHub
  Unix architecture evolution diagrams
  ☆82Dec 1, 2018Updated 7 years ago
• tdammers / sprinkles

  View on GitHub
  Web Development without programming
  ☆45Mar 1, 2023Updated 2 years ago
• cstrahan / wiwinwln

  View on GitHub
  What I Wish I Knew While Learning Nix
  ☆34Dec 9, 2021Updated 4 years ago
• psibi / dhall-mode

  View on GitHub
  ☆46Jan 5, 2025Updated last year
• clojurewerkz / titanium

  View on GitHub
  Clojure graph library built on top of Titan
  ☆106Jan 2, 2016Updated 10 years ago
• lavignes / librts

  View on GitHub
  libRunTimeStruct: Create C structs at runtime
  ☆13Dec 8, 2015Updated 10 years ago
• pssrawat / ppopp-artifact

  View on GitHub
  Artifact for 'Register Optimizations for Stencils on GPUs'
  ☆10Sep 18, 2018Updated 7 years ago