Alternatives and similar repositories for programming-history

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

• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• sjsyrek / berlin-functional-programming-group
  Code and other projects for the Berlin Functional Programming Group.
  ☆43Updated 7 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• owickstrom / tlaplus-cli-template
  CLI-driven TLA+ project template
  ☆43Updated 6 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 7 months ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• cydparser / demo-emacs-haskell
  A tutorial for using Emacs with Haskell projects
  ☆43Updated 3 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• ncreep / category-theory-as-a-tool-for-thought
  Material for the "Category Theory as a Tool for Thought" talk
  ☆39Updated 2 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 15 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• tonymorris / parametricity-exercises
  Exercises designed specifically to demonstrate parametricity
  ☆28Updated 11 years ago
• politrons / Dive_into_Haskell
  Dive into Haskell: Examples of all features of this Pure Functional programing language
  ☆69Updated 2 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• lexi-lambda / talks
  ☆44Updated last year
• namin / logically
  explorations in core.logic
  ☆118Updated 11 months 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
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆75Updated last year
• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆70Updated 10 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago