Alternatives and similar repositories for programming-history:

Users that are interested in programming-history are comparing it to the libraries listed below

• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 3 months ago
• cydparser / demo-emacs-haskell
  A tutorial for using Emacs with Haskell projects
  ☆43Updated 3 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 4 months ago
• bmsherman / blog
  ☆41Updated 10 years ago
• sjsyrek / berlin-functional-programming-group
  Code and other projects for the Berlin Functional Programming Group.
  ☆43Updated 7 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆61Updated 8 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆77Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• theleoborges / purely-functional-data-structures
  Clojure versions of the code and solutions from the book Purely Functional Data Structures
  ☆89Updated 11 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆94Updated 7 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆93Updated 8 years ago
• krisajenkins / AdventOfCode
  PureScript solutions for Advent of Code
  ☆17Updated 2 years ago
• abingham / categories-for-programmers
  A sphinx project for Bartosz Milewski's book "Categories for Programmers"
  ☆15Updated 7 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆153Updated 3 years ago
• Frege / frege-repl
  Frege REPL
  ☆78Updated 6 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago