Alternatives and similar repositories for code-canon

Users that are interested in code-canon are comparing it to the libraries listed below

• hellerve / ptolemy
  My reading list
  ☆83Updated 3 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆123Updated 12 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 11 years ago
• rtoal / ple
  Programming Language Explorations
  ☆97Updated this week
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆38Updated 2 months ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• snaptoken / leg
  Tools for making step-by-step code walkthroughs
  ☆139Updated 4 years ago
• NLKNguyen / awesome-language-engineering
  ✨ A curated list of useful resources for computer language engineering and theory
  ☆266Updated 7 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆110Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• tmoertel / practice
  Some programming problems I have solved for fun and practice
  ☆34Updated last month
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆98Updated this week
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆227Updated 8 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆124Updated 7 months ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆88Updated 2 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 11 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago