Porges / programming-history
Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
☆45Updated 6 years ago
Alternatives and similar repositories for programming-history:
Users that are interested in programming-history are comparing it to the libraries listed below
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- PureScript solutions for Advent of Code☆17Updated 2 years ago
- Code and other projects for the Berlin Functional Programming Group.☆43Updated 7 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- What's the simplest Turing Machine with unknown behavior?☆13Updated 8 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- A tutorial for using Emacs with Haskell projects☆43Updated 3 years ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 11 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 5 months ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Algebraic structures for untyped Racket☆77Updated 8 months ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- A Haskell representation of Clojure's EDN☆11Updated 7 years ago
- ☆41Updated 10 years ago
- explorations in core.logic☆117Updated 9 months ago
- Support Frege compiler via leiningen☆33Updated 8 years ago
- Useful resources for the Eta programming language☆63Updated 3 years ago
- yet another monad lib for clojure☆94Updated 7 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Dhall to and from Clojure☆75Updated 5 years ago
- Data Structure Optimization for Functional Programs☆33Updated 6 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Jupyter notebooks☆58Updated 4 months ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Clojure's Transducers in Haskell