Alternatives and similar repositories for haskell-drawille

Users that are interested in haskell-drawille are comparing it to the libraries listed below

• Butanium / monte-carlo-tree-search-TSP

  View on GitHub
  Monte Carlo tree search for the travelling salesman problem (MCTS for the TSP)
  ☆13Jun 18, 2022Updated 3 years ago
• UCSD-PL / kraken

  View on GitHub
  ☆30Jun 7, 2014Updated 11 years ago
• basic-calculus / hs-callbypushvalue

  View on GitHub
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Oct 4, 2020Updated 5 years ago
• learnmath / lysa

  View on GitHub
  Learn You Some Algebras for Glorious Good!
  ☆16Jan 1, 2015Updated 11 years ago
• gcross / LogicGrowsOnTrees

  View on GitHub
  A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.
  ☆31Jul 30, 2019Updated 6 years ago
• disconcision / spyshare

  View on GitHub
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆18Apr 4, 2019Updated 6 years ago
• jwiegley / coq-cds4ltl

  View on GitHub
  A formal verification of Linear Temporal Logic in Coq
  ☆23Nov 18, 2025Updated 2 months ago
• renzyq19 / pi-calculus

  View on GitHub
  ☆27Jun 30, 2014Updated 11 years ago
• edolstra / nix-make

  View on GitHub
  Experimental Nix build management stuff
  ☆24May 21, 2012Updated 13 years ago
• hverr / haskell-cache

  View on GitHub
  An in-memory key/value store with expiration support
  ☆26Aug 1, 2023Updated 2 years ago
• TOTBWF / iso

  View on GitHub
  A reversible language
  ☆22Sep 25, 2018Updated 7 years ago
• pcapriotti / agda-categories

  View on GitHub
  Category theory and algebra
  ☆27Aug 4, 2016Updated 9 years ago
• fplab / ui-for-pl

  View on GitHub
  User Interfaces for Programming Languages: The Compendium
  ☆28Feb 14, 2021Updated 5 years ago
• bfops / open-union

  View on GitHub
  Type-safe open unions in Haskell
  ☆32Apr 20, 2018Updated 7 years ago
• lprez / FWGL

  View on GitHub
  ☆21Oct 23, 2016Updated 9 years ago
• metaborg / linear.agda

  View on GitHub
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆36Dec 21, 2019Updated 6 years ago
• dorchard / effects-as-sessions

  View on GitHub
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Nov 28, 2024Updated last year
• schell / gelatin

  View on GitHub
  A nice Haskell graphics API. There's always room for jello.
  ☆41May 31, 2018Updated 7 years ago
• arendsee / lsystems

  View on GitHub
  L-system generators and visualizers
  ☆33Nov 1, 2021Updated 4 years ago
• chessai / theseus

  View on GitHub
  theseus, functional programming language with fully reversible computation
  ☆126Jun 3, 2019Updated 6 years ago
• RedPRL / algaett

  View on GitHub
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Nov 21, 2025Updated 2 months ago
• LykenSol / rust-demangle.c

  View on GitHub
  C port of the Rust symbol demangler (rustc-demangle)
  ☆45Oct 6, 2023Updated 2 years ago
• kb1dds / small_astrolabe

  View on GitHub
  A small astrolabe suitable for laser cutting
  ☆11May 23, 2024Updated last year
• zaklogician / typical-antiphrasis

  View on GitHub
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆41Oct 5, 2020Updated 5 years ago
• dunnock / wabench

  View on GitHub
  Yeat another WASM benchmark (WASI) - http://wabench.com:8080
  ☆11Jan 7, 2023Updated 3 years ago
• danielfullmer / soongnix

  View on GitHub
  Experimental Nix implementation of Android `soong` modules
  ☆10Oct 11, 2023Updated 2 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• stephenmathieson / emitter.c

  View on GitHub
  A tiny event emitter in C
  ☆18Nov 21, 2014Updated 11 years ago
• plaidfinch / myxine

  View on GitHub
  Get a GUI fast in any language under the sea!
  ☆47Jan 31, 2023Updated 3 years ago
• sheyll / type-spec

  View on GitHub
  A tiny EDSL to write type-level-unit tests
  ☆51Jan 21, 2019Updated 7 years ago
• keera-studios / hsQt

  View on GitHub
  Qt bindings for Haskell
  ☆34Nov 23, 2017Updated 8 years ago
• composewell / packcheck

  View on GitHub
  Universal build and CI testing for Haskell packages
  ☆94Oct 28, 2025Updated 3 months ago
• c00kiemon5ter / Pancakes

  View on GitHub
  Interactive IRC bot and logger in pure Bash
  ☆16Dec 12, 2012Updated 13 years ago
• TedDriggs / syn-select

  View on GitHub
  Lightweight path selector for searching Rust code
  ☆16May 22, 2023Updated 2 years ago
• osmItalia / Segnalazioni-Mancata-attribuzione-OSM

  View on GitHub
  Repository per segnalazioni mappe con mancata attribuzione a OpenStreetMap
  ☆11Updated this week
• maximousblk / mill

  View on GitHub
  Set of GitHub Actions for me to build my favorite projects.
  ☆10Nov 1, 2025Updated 3 months ago
• axch / integer-sequences

  View on GitHub
  A library for recreational number theory in MIT Scheme.
  ☆11Feb 2, 2013Updated 13 years ago
• linuxphoneapps / linuxphoneapps.org

  View on GitHub
  A replacement for linmobapps.frama.io
  ☆10Dec 28, 2021Updated 4 years ago