Alternatives and similar repositories for edna:

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

• cachix / gptcomment
  ☆15Updated last year
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• psibi / rucredstash
  Utility for managing credentials securely in AWS cloud
  ☆19Updated last year
• leptos-rs / start-spin
  A starter template for Leptos and Spin
  ☆17Updated last year
• fabjan / outil
  A library for writing command line tools.
  ☆10Updated last year
• Airsequel / AirGQL
  Automatically generate a GraphQL API for any SQLite database
  ☆19Updated 2 weeks ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆20Updated last month
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• stencila / nixta
  📦 A package manager based on Nix
  ☆19Updated 10 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 9 months ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• silvia-odwyer / rustvis
  Data visualisation library, written in Rust
  ☆28Updated 4 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆14Updated this week
• klebs6 / caffe2-rs
  ☆12Updated last year
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 8 months ago
• terohuttunen / proto-vulcan
  A relational logic programming language embedded in Rust.
  ☆12Updated 2 years ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 4 months ago
• NixOS / jailbreak-cabal
  Strip version restrictions from build dependencies in Cabal files.
  ☆12Updated 2 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 6 months ago
• Copilot-Language / copilot-discussion
  Repository containg reports and documentation on Copilot
  ☆15Updated 3 months ago
• jwiegley / control-theory
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆80Updated 6 years ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• Darksonn / watch
  A synchronous message passing channel that only retains the most recent value.
  ☆13Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 7 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated 11 months ago