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
  ☆130Updated 8 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 7 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 7 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• nomyx / Nomyx
  The Nomyx game
  ☆86Updated 2 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• Ngnghm / ngnghm.github.io
  Houyhnhnm Computing
  ☆23Updated last year
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 3 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 5 months ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• sordina / japl
  Font for turning J into APL
  ☆12Updated 7 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆283Updated 12 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 7 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆79Updated 7 months ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆24Updated 6 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 4 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 4 years ago
• LeslieGoldsmith / ed
  Q line editor and full-screen interface editor
  ☆11Updated 4 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Updated last year
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago