Alternatives and similar repositories for notes:

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

• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆34Updated 5 years ago
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 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
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 6 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆20Updated 9 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 14 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated last year
• darius / cant
  A programming argot
  ☆58Updated 10 months ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆39Updated 3 years ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆61Updated 3 weeks ago
• suhr / wcpl
  ☆16Updated 6 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
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 7 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆78Updated this week
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆71Updated 5 months ago
• ccrraaiigg / context
  the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com
  ☆38Updated 11 months ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• moon-chilled / j
  various toys in j
  ☆12Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week