Alternatives and similar repositories for fsm:

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

• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 4 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 3 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆43Updated last week
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 6 months ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 3 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 4 months ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆28Updated 2 weeks ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆53Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 5 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated 3 months ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 5 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 2 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 3 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated 4 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 4 months ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 3 months ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated 3 weeks ago