jamesma100 / randomartLinks
generate art from a hash
☆24Updated 2 months ago
Alternatives and similar repositories for randomart
Users that are interested in randomart are comparing it to the libraries listed below
Sorting:
- Reference counting with linear types☆31Updated last week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated this week
- ☆37Updated 2 years ago
- Embedding of python interpreter into haskell programs☆13Updated 4 months ago
- Mini-game built on a functional style☆12Updated 3 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆112Updated 2 months ago
- ☆40Updated this week
- Hash-based Diffing for AST's☆77Updated 5 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆115Updated last week
- Class of data structures that can be unfolded.☆22Updated last year
- ☆90Updated 10 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 11 months ago
- functional spreadsheet programming☆19Updated 5 months ago
- ☆92Updated 7 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- Inline Haskell inside your Python code☆25Updated 10 months ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- Apple array system☆67Updated 2 weeks ago
- Plot Cookbook☆50Updated 2 years ago
- An introduction to the J programming language that gets to the point.☆66Updated 2 months ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆15Updated last year
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆79Updated 6 months ago
- ☆53Updated last month
- ☆36Updated last year