void4 / notes

Related projects ⓘ

Alternatives and complementary repositories for notes

• tibru / tibru
  An alternative to Urbit
  ☆91Updated 7 years ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆58Updated 2 weeks ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆73Updated 14 years ago
• darius / cant
  A programming argot
  ☆58Updated 7 months ago
• bitemyapp / ledgertheory
  ☆14Updated 9 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 4 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated last year
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 8 years ago
• argumentcomputer / lurk-lisp
  Lisp implementation of Lurk.
  ☆68Updated 2 months ago
• kpreid / e-on-cl
  E language implementation targeting Common Lisp
  ☆14Updated 12 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• stefano / wasm-forth
  A Forth implementation compiling to WebAssembly.
  ☆144Updated 5 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• martinmcclure / mist
  Filetree code for the Mist project (mist-project.org)
  ☆32Updated 8 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆69Updated last month
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆74Updated this week
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 6 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• argumentcomputer / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated 8 months ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 5 months ago
• leithaus / Rosette
  Reflective actor-based language
  ☆28Updated 7 years ago
• urbit / examples
  Urbit examples
  ☆84Updated 3 years ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆60Updated 7 months 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
• BradNeuberg / hyperscope
  Re-implementation of part of Douglas Engelbart's Augment system onto the web
  ☆49Updated 10 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…
  ☆14Updated 2 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆16Updated last year