Alternatives and similar repositories for programming-history

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

• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 5 months 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
• owickstrom / automating-the-build-of-your-technical-presentation-template
  The full template for "Automating the Build of your Technical Presentation"
  ☆26Updated 7 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• cydparser / demo-emacs-haskell
  A tutorial for using Emacs with Haskell projects
  ☆43Updated 3 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 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
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆70Updated 9 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 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
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆92Updated 8 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 6 months ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 10 months ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• eborden / language-edn
  A Haskell representation of Clojure's EDN
  ☆11Updated 7 years ago