jeffkaufman / nomic

Related projects ⓘ

Alternatives and complementary repositories for nomic

• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆28Updated 2 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated 3 weeks ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆87Updated 2 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• uakci / jvozba
  An O(n) implementation of the lujvo-making algorithm to save the world.
  ☆4Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆69Updated 8 months ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 5 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 2 years ago
• stevekrouse / hs.js
  ☆39Updated 10 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• leanprover / super
  Superposition prover
  ☆16Updated last year
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• christianscott / levenshtein-distance-benchmarks
  Code for "Making rust as fast as go"
  ☆23Updated 4 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 6 months ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 3 years ago
• grzegorzbalcerek / chess-elm
  The game of chess written in elm.
  ☆23Updated last year
• graydon / exhaustigen
  ☆10Updated 2 years ago
• louisabraham / domical
  In-browser OCaml notebooks 🐪
  ☆25Updated 5 years ago
• hellerve / blog
  My personal blog
  ☆14Updated last year
• hwayne / tla-snippets
  A collection of useful TLA+ operators
  ☆21Updated 6 years ago
• hermits-grove / mona
  a password manager for hermits
  ☆30Updated 6 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago