Alternatives and similar repositories for nomic

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

• hermits-grove / mona
  a password manager for hermits
  ☆30Updated 6 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
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• zaitsev85 / message-from-space
  ☆34Updated last year
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆41Updated 4 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 2 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• zyrolasting / unlike-assets
  Racket's module resolver for non-Racket assets
  ☆20Updated 2 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 6 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 10 months ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 4 months ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 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
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆21Updated 6 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆29Updated last week
• deech / shen-rust
  ☆35Updated 5 years ago