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
  ☆14Updated this week
• cachix / gptcomment
  ☆15Updated 10 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 4 months ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated 2 weeks ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆17Updated last month
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆14Updated 4 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 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 3 years ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• stencila / nixta
  📦 A package manager based on Nix
  ☆20Updated 8 months ago
• leptos-rs / start-spin
  A starter template for Leptos and Spin
  ☆18Updated 10 months ago
• DioxusLabs / include_mdbook
  Include mdbooks at compile time in your Rust project
  ☆23Updated last week
• ferrous-systems / wasm-training-2022
  Rust & WebAssembly Workshop
  ☆28Updated 2 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• klebs6 / caffe2-rs
  ☆12Updated last year
• psibi / rucredstash
  Utility for managing credentials securely in AWS cloud
  ☆19Updated last year
• mstone / depict
  depict – share mental models better
  ☆36Updated last year
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆19Updated 3 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 9 months ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated 2 months ago
• Copilot-Language / copilot-discussion
  Repository containg reports and documentation on Copilot
  ☆14Updated last month
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆29Updated this week
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• digitallyinduced / awesome-ihp
  Awesome list of IHP links & projects. 😎
  ☆14Updated 3 years ago
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago