Alternatives and similar repositories for notes:

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

• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 2 months ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 6 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated last year
• 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
• 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
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆81Updated this week
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆61Updated last month
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago
• darius / cant
  A programming argot
  ☆58Updated 11 months ago
• kstephens / tort
  Tiny Object Run Time
  ☆21Updated 9 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆13Updated 5 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• martinmcclure / mist
  Filetree code for the Mist project (mist-project.org)
  ☆32Updated 8 years ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 2 years ago
• darth-cheney / safe-bet
  A Squeak Smalltalk RISC-V ISA implementation, with basic simulation
  ☆26Updated 4 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆32Updated 7 years ago