Alternatives and similar repositories for edl

Users that are interested in edl are comparing it to the libraries listed below

• dunn / modernphilosophy
  A Markdown version of the free textbook created by Walter Ott
  ☆23Updated 10 years ago
• OpenLogicProject / forallx-cam
  Tim Button's Cambridge version of forallx
  ☆13Updated 6 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆43Updated last year
• mk12 / vim-lean
  Lean Theorem Prover plugin for Vim.
  ☆16Updated 3 years ago
• skeeto / british-square
  British Square Engine (Analysis and Perfect AI Player)
  ☆17Updated 4 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated this week
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last week
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• dzwdz / camellia
  a kernel
  ☆13Updated last year
• math-comp / mcb
  Mathematical Components (the Book)
  ☆145Updated last year
• qntm / tetris
  Attempt to find a brute-force solution to Tetris
  ☆18Updated 3 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 7 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 weeks ago
• kivutar / uxn
  ☆17Updated 3 years ago
• rtoal / ple
  Programming Language Explorations
  ☆94Updated last week
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 5 years ago
• doy / runes
  a modern terminal client
  ☆36Updated 7 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated 2 weeks ago
• rain-1 / tests
  tests
  ☆10Updated 6 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 7 years ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• arnoldrobbins / texiwebjr
  The TexiWeb Jr. super simple literate programming system
  ☆25Updated last year
• jaredkrinke / learn-scheme
  Learn Lisp interactively!
  ☆31Updated 6 months ago
• Euterpea / Euterpea2-Examples
  Small code examples demonstrating the use of Euterpea2 and HSoM
  ☆30Updated 5 years ago
• oriansj / talk-notes
  Collection of notes for talks
  ☆12Updated last year
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago