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
• kpreid / e-on-cl
  E language implementation targeting Common Lisp
  ☆14Updated 12 years ago
• darius / cant
  A programming argot
  ☆58Updated 9 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 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 3 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆61Updated 2 months ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 7 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆20Updated 9 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆18Updated 9 years ago
• martinmcclure / mist
  Filetree code for the Mist project (mist-project.org)
  ☆32Updated 8 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆36Updated 6 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆34Updated 5 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• Bystroushaak / tinySelf
  Self-like language implemented in the RPython language toolkit.
  ☆30Updated 3 years ago
• charles-l / po
  minimal lisp that compiles to x86
  ☆10Updated 7 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated 3 months ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• moon-chilled / j
  various toys in j
  ☆12Updated 2 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆78Updated this week
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 6 years ago
• luser-dr00g / inca
  an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…
  ☆29Updated 8 years ago