Alternatives and similar repositories for randomart

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

• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 10 months ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆11Updated 2 weeks ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• nh2 / haskell-jobs-statistics
  ☆37Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 7 months ago
• alt-romes / haskell-x-swift-project-steps
  A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
  ☆14Updated 10 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated last month
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆12Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 7 months ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 8 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• NorfairKing / bevel
  ☆39Updated 2 months ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 4 months ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 3 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆30Updated last year
• cdupont / Timeloop
  ☆41Updated last year
• jfdm / olaf-lang
  Adventures in being functional.
  ☆9Updated 3 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆12Updated 5 years ago