Porges / programming-history
Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
☆45Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for programming-history
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Jupyter notebooks☆58Updated 2 weeks ago
- ☆41Updated 10 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 3 weeks ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- Code and other projects for the Berlin Functional Programming Group.☆43Updated 7 years ago
- explorations in core.logic☆115Updated 5 months ago
- A tutorial for using Emacs with Haskell projects☆43Updated 2 years ago
- PureScript solutions for Advent of Code☆17Updated last year
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆89Updated 11 years ago
- Frege REPL☆78Updated 5 years ago
- Relational Algebra at your fingertips☆62Updated 9 years ago
- Useful resources for the Eta programming language☆61Updated 3 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- Advent of Code 2017☆41Updated 5 years ago
- Algebraic structures for untyped Racket☆75Updated 4 months ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- A tutorial to the Idris Programming Language.☆94Updated 8 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Dhall to and from Clojure☆75Updated 5 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- The Ntha Programming Language☆93Updated 8 years ago
- Support Frege compiler via leiningen☆33Updated 8 years ago
- An HTTP library for idris☆40Updated 5 years ago