Alternatives and similar repositories for edna:

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

• cachix / gptcomment
  ☆16Updated last year
• stencila / nixta
  📦 A package manager based on Nix
  ☆19Updated 11 months ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 months ago
• vinesystems / lair
  Linear Algebra in Rust
  ☆13Updated 2 months ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 3 months ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated 3 weeks ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆21Updated last month
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 2 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 9 months ago
• ChangqingW / SeqSizzle
  ☆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
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆17Updated last year
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago
• tweag / nixpkgs-graph-explorer
  Explore the nixpkgs dependency graph
  ☆16Updated last year
• unisonweb / base
  Unison base libraries
  ☆18Updated last week
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 10 months ago
• haskell-lisp / blaise
  Slava Akhmechet's Lisp from 2006
  ☆14Updated 11 years ago
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• dbpedia / ontology-time-machine
  ☆11Updated 3 months ago