Alternatives and similar repositories for edna

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

• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated last week
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 8 months ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• cachix / gptcomment
  ☆16Updated last year
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆21Updated 2 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• stencila / nixta
  📦 A package manager based on Nix
  ☆19Updated last year
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 10 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 4 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 2 months ago
• weso / pregel-rs
  A Graph library written in Rust for implementing your own algorithms in a Pregel fashion
  ☆11Updated 4 months ago
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆29Updated last month
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• psibi / rucredstash
  Utility for managing credentials securely in AWS cloud
  ☆19Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 4 months ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆14Updated last week
• vinesystems / lair
  Linear Algebra in Rust
  ☆13Updated 3 months ago
• oovm / jupyter-protocol
  Jupyter Kernel Protocol for rust
  ☆13Updated 4 months ago
• phlummox / hs-perl5
  embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…
  ☆12Updated 4 years ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• flix / book
  The Flix Programming Book
  ☆17Updated last month
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 3 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 10 months ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 3 months ago
• garnix-io / issues
  Public issue tracker for garnix.io
  ☆15Updated 3 years ago