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
  ☆74Updated last week
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆108Updated this week
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆76Updated this week
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆94Updated 10 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 5 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆85Updated this week
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆22Updated last year
• ephel-lang / nethra
  Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
  ☆15Updated 7 months ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆63Updated 4 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 8 months ago
• aztecs-hs / aztecs
  A modular game engine and ECS for Haskell
  ☆149Updated last week
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 5 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆43Updated this week
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆115Updated 8 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆152Updated last month
• stefan-hoeck / idris2-ref1
  Linear mutable References and Utilities
  ☆13Updated 3 months ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆167Updated 2 years ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆68Updated 2 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆74Updated last month
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• stefan-hoeck / idris2-pack
  ☆144Updated last month
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 3 months ago
• stefan-hoeck / idris2-tutorial
  ☆236Updated 6 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆23Updated 10 months ago
• vmchale / apple
  Apple array system
  ☆69Updated last month
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• SophieBosio / contra
  A friendly functional language for finding counterexamples 🎯
  ☆15Updated last year
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago