Alternatives and similar repositories for randomart

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

• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last month
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆115Updated this week
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 5 months ago
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• b4er / recalc
  functional spreadsheet programming
  ☆20Updated 7 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated last week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 11 months ago
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆13Updated 3 years ago
• jkoppel / ecta
  ☆37Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 10 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆37Updated last month
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆48Updated 6 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated this week
• NorfairKing / bevel
  ☆40Updated last month
• vmchale / apple
  Apple array system
  ☆68Updated last week
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• jeprinz / pantograph
  ☆96Updated 8 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 3 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years 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…
  ☆150Updated 4 months ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year