Alternatives and similar repositories for interaction-net-resources

Users that are interested in interaction-net-resources are comparing it to the libraries listed below

• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆69Updated 4 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆74Updated last month
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated last week
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 4 months ago
• kciray8 / zerolambda
  100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
  ☆32Updated 10 months ago
• codereport / bqn-code
  A compilation of BQN solutions to various coding challenges.
  ☆12Updated 2 weeks ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 5 months ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆62Updated 3 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 9 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆65Updated 7 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated this week
• x86y / beacon
  A native and a cross platform guide for BQN array programming language
  ☆60Updated last year
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆104Updated last week
• stefan-hoeck / idris2-tutorial
  ☆235Updated 5 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆130Updated last month
• fir-lang / fir
  Fir programming language
  ☆91Updated this week
• matthunz / aztecs
  A modular game engine and ECS for Haskell
  ☆139Updated this week
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆49Updated 11 months ago
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆22Updated last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆122Updated 3 weeks ago
• SophieBosio / contra
  A friendly functional language for finding counterexamples 🎯
  ☆15Updated last year
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• mthom / scryer-shen
  ☆57Updated 8 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆14Updated 4 months ago
• Brian-ED / rayed-bqn
  Raylib with a bit of bacon spice!
  ☆48Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated 2 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated last month
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆40Updated this week