Alternatives and similar repositories for talk-notes

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

• PlanetAPL / openAPL
  ☆21Updated 8 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago
• darius / elv
  A very basic Lisp + Erlang-style processes, on a virtual machine
  ☆10Updated 8 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 7 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• jpellegrini / gnu-apl-refcard
  A reference card for GNU APL
  ☆12Updated 4 months ago
• PDP-10 / Interlisp-10
  ☆19Updated 2 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 6 months ago
• arcfide / ALE
  arcfide's line editor
  ☆28Updated 2 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated 6 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 5 months ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 11 years ago
• 8l / pilos
  PilOS - A Stand-Alone Operating System
  ☆14Updated 7 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆32Updated 10 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• lisper / cpus-cadr
  MIT CADR original verilog and simulator
  ☆16Updated 9 years ago
• AaronJackson / bnlisp
  A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11
  ☆20Updated 2 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆19Updated 8 years ago
• jeapostrophe / c
  #lang for writing C code
  ☆15Updated 8 years ago