Alternatives and similar repositories for notes:

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

• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆62Updated this week
• darius / cant
  A programming argot
  ☆58Updated last year
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last month
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 3 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆22Updated 9 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆52Updated 8 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 8 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 5 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆13Updated 3 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆44Updated 15 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆35Updated 8 months ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• civboot / fngi
  a readable language that grows from the silicon
  ☆61Updated last year
• stefano / wasm-forth
  A Forth implementation compiling to WebAssembly.
  ☆145Updated 6 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated 11 months ago
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• jeceljr / SmalltalkSurvey
  The goal is to compile a reasonably complete list of all implementations of the Smalltalk system
  ☆26Updated last year
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆84Updated last week
• darth-cheney / safe-bet
  A Squeak Smalltalk RISC-V ISA implementation, with basic simulation
  ☆26Updated 4 years ago