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 11 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• nh2 / haskell-jobs-statistics
  ☆37Updated last year
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• adam-mcdaniel / markdown-to-html
  A Markdown to HTML compiler written in Haskell.
  ☆16Updated last year
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 2 months ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated last month
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• NorfairKing / bevel
  ☆39Updated this week
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 8 months ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last month
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• emiruz / data-analysis-with-x
  Short data science / analysis projects in a variety of programming languages
  ☆10Updated last year
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆29Updated 8 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆107Updated this week
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆12Updated 2 years ago
• cachix / gptcomment
  ☆16Updated last year
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆40Updated last month
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• vmchale / apple
  Apple array system
  ☆66Updated last week
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 3 months ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆14Updated 6 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated last month
• cdupont / Timeloop
  ☆41Updated last year