void4 / notes

Related projects ⓘ

Alternatives and complementary repositories for notes

• kpreid / e-on-cl
  E language implementation targeting Common Lisp
  ☆14Updated 12 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• argumentcomputer / lurk-lisp
  Lisp implementation of Lurk.
  ☆67Updated 2 months ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆58Updated this week
• 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
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆43Updated 15 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆74Updated this week
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆73Updated 14 years ago
• darius / cant
  A programming argot
  ☆58Updated 7 months ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 2 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆20Updated 9 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated 3 weeks ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 4 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 5 years ago
• tibru / tibru
  An alternative to Urbit
  ☆91Updated 7 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆31Updated 7 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated last year
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 7 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 4 months ago
• turbolent / ralph
  Ralph is a Lisp-1 dialect that compiles to JavaScript
  ☆74Updated 5 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• martinmcclure / mist
  Filetree code for the Mist project (mist-project.org)
  ☆32Updated 8 years ago