Alternatives and similar repositories for hello-rust-nix

Users that are interested in hello-rust-nix are comparing it to the libraries listed below

• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆20Updated 3 weeks ago
• Xe / withinbot
  Within's Discord Bot
  ☆18Updated 2 years ago
• ostreedev / gvariant-rs
  A pure-rust implementation of the GVariant serialisation format
  ☆12Updated last month
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆28Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 3 years ago
• mdg / leema
  A functional programming language designed for concurrency and failure
  ☆44Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• epilys / kitkat
  Kit-kat clock utility rewritten in Rust using minifb
  ☆19Updated 3 years ago
• kprotty / lazer
  A programming language focused on concurrency and low memory usage
  ☆12Updated 6 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• evuez / slate
  Take notes from you terminal.
  ☆14Updated 3 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• andersfr / zig-lsp
  Language Server Protocol for Zig
  ☆27Updated 5 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 5 years ago
• inanna-malick / detect
  ☆29Updated this week
• Xe / helloworld
  A sample Rust+Nix project for a blogpost
  ☆29Updated 5 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 4 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 5 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• lontivero / phgs
  Personal Hidden Git Server
  ☆24Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago