Reading schedule and our library of pdfs
☆24Apr 29, 2019Updated 6 years ago
Alternatives and similar repositories for reading-material
Users that are interested in reading-material are comparing it to the libraries listed below
Sorting:
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 10 months ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- experimental computational medium and supporting tools☆23Updated this week
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 5 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 3 years ago
- Working through Type-Driven Development with Idris☆26Sep 7, 2016Updated 9 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 4 years ago
- Prototype Object Orientation for Gerbil Scheme☆24Sep 19, 2025Updated 5 months ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Jun 5, 2025Updated 8 months ago
- Roguelike for 7DRL make in Elm☆30Jan 25, 2016Updated 10 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Sep 14, 2017Updated 8 years ago
- ☆13Sep 11, 2024Updated last year
- PostgreSQL Schema Migrations for Haskell☆87Aug 19, 2021Updated 4 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆28Nov 28, 2025Updated 3 months ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programmin…☆20Jan 13, 2025Updated last year
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- 个人学习中总结的 Rust 思维导图☆10Feb 2, 2024Updated 2 years ago
- ☆10Mar 14, 2016Updated 9 years ago
- Yet another Bloomfilter implementation in Python, compatible with Java's Guava library☆12Aug 10, 2024Updated last year
- Scala best practices☆11Jun 20, 2020Updated 5 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.☆11May 16, 2017Updated 8 years ago
- An OpenAI Gym implementation of the famous Connect 4 environment☆11Jan 11, 2021Updated 5 years ago