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 last month
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated 2 months ago
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆14Updated 7 months ago
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆13Updated 3 years ago
• b4er / recalc
  functional spreadsheet programming
  ☆23Updated 9 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated 3 weeks ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• 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
  ☆16Updated last year
• vmchale / apple
  Apple array system
  ☆68Updated this week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆121Updated this week
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated last year
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 2 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• NorfairKing / bevel
  ☆40Updated last week
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 2 weeks ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• jeprinz / pantograph
  ☆99Updated 10 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 6 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 3 months ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 2 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 5 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆22Updated 3 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆48Updated 7 months ago