tel / old-blogLinks
☆30Updated 9 years ago
Alternatives and similar repositories for old-blog
Users that are interested in old-blog are comparing it to the libraries listed below
Sorting:
- ☆49Updated 13 years ago
- CN MonaD.ReadeR Reading Group☆107Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆128Updated 13 years ago
- a book about ocaml☆188Updated 8 years ago
- My solutions to the popular Haskell tutorial☆77Updated 13 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 9 years ago
- Public code developed during my MSc study at University of Bologna☆76Updated 3 years ago
- Pearls of Functional Algorithm Design☆67Updated 10 years ago
- Compile-time metaprogramming for OCaml☆75Updated last year
- Canonical miniKanren implementation☆363Updated 7 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- Ye Olde Computer Science Scrolls!☆105Updated 9 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 9 years ago
- ☆81Updated 7 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆191Updated 9 years ago
- A native compiler for Scheme compliant with R6RS☆199Updated 8 years ago
- ☆147Updated 9 years ago
- stex: stex to latex and latex to html converters and associated tools☆93Updated 2 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324Updated 4 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- Go! Lisp in OCaml☆75Updated 13 years ago
- This is source code of my book.☆67Updated 9 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆153Updated 2 months ago
- Presentation/code from my talk at London HUG☆58Updated 13 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 7 years ago
- Resources for the online Type Theory Study Group☆162Updated 8 years ago
- Relational interpreter in miniKanren that can generate quines☆131Updated 11 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- A practical guide to Racket macros☆258Updated 5 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago