Alternatives and similar repositories for nomic:

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

• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 7 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 5 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 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
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 7 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 7 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated 3 months ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆50Updated 4 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 5 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆40Updated 2 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 3 months ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆68Updated 4 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• well-typed / canonical-json
  Canonical JSON for signing and hashing JSON values
  ☆12Updated last year
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆73Updated 3 weeks ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago