Alternatives and similar repositories for nomic:

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

• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆29Updated 3 years ago
• fractalide / nixcrates
  DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index
  ☆15Updated 8 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• Bike / mother
  what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…
  ☆22Updated 11 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 6 years ago
• hermits-grove / mona
  a password manager for hermits
  ☆30Updated 6 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆12Updated 6 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆51Updated 8 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• oscoin / oscoin
  Oscoin Full Node Implementation in Haskell (Work in Progress)
  ☆24Updated 5 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• hellerve / blog
  My personal blog
  ☆14Updated last year
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 6 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• sdiehl / aos-signature
  Abe-Ohkubo-Suzuki Linkable Ring Signatures
  ☆48Updated 5 years ago
• nixkoans / nixkoans
  Nix package manager and Nix programming language
  ☆11Updated 9 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago