Alternatives and similar repositories for nomic:

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

• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 7 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆85Updated last year
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆40Updated 2 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆12Updated 5 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• louisabraham / domical
  In-browser OCaml notebooks 🐪
  ☆25Updated 5 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 7 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 10 months ago
• suhr / wcpl
  ☆16Updated 6 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated last month
• hermits-grove / hermitdb
  A private decentralized database replicated over Git (or any other distributed log)
  ☆77Updated 5 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago