Alternatives and similar repositories for selfmate

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

• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 5 months ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 3 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 7 months ago
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆93Updated 3 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• RubixDev / syntastica-typst
  Tree-sitter syntax highlighting for code blocks in Typst.
  ☆27Updated 4 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆14Updated last year
• MDLC01 / board-n-pieces
  A Typst package to display chessboards.
  ☆22Updated 3 months ago
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆22Updated last year
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆29Updated 11 years ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆14Updated 6 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• molarmanful / sclin
  A concatenative cyborg chimera.
  ☆10Updated 5 months ago
• samueldr / nix-is-hard
  ☆24Updated 4 months ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 8 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆17Updated 2 years ago
• TomaszJaworski777 / Jackal
  Aggressive MCTS chess engine.
  ☆12Updated last week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆24Updated 9 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆23Updated 3 months ago
• lynn / typst-syntree
  Syntax trees for typst
  ☆35Updated 4 months ago
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆38Updated 3 months ago
• Cloudef / mach-flake
  Flake that allows you to get started with Mach engine quickly.
  ☆14Updated 2 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 3 weeks ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆41Updated last year
• rolandwalker / tree-sitter-pgn
  Chess Portable Game Notation (PGN) grammar for tree-sitter
  ☆16Updated 8 months ago