stanfordhaskell / cs43
Course materials for Stanford's CS43: Functional Programming Paradigms
☆30Updated 4 years ago
Alternatives and similar repositories for cs43:
Users that are interested in cs43 are comparing it to the libraries listed below
- functional neural networks in ocaml☆89Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A visualization of key structures in abstract algebra.☆155Updated 4 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Category theory for programmers lecture notes☆23Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Hygienic typed literal macros (TLMs) for Reason☆208Updated 6 years ago
- A collection of interesting talks☆32Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Introduction to common Probabilistic Algorithms: Approximate Counting, Flajolet-Martin, LogLog, HyperLogLog, Bloom Filters☆60Updated 7 years ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 10 months ago
- A course-worth of notes☆202Updated 8 months ago
- Reading schedule and our library of pdfs☆24Updated 5 years ago
- ☆41Updated 10 years ago
- Pastes contents of clipboard as plaintext, including uploading images/files to a public server and pasting the link☆28Updated 5 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- In-browser OCaml notebooks 🐪☆25Updated 5 years ago
- Algebraic structures for untyped Racket☆76Updated 7 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- content repository for metacademy.org☆90Updated 7 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- UI as finite-state machine☆96Updated 4 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- ☆23Updated 6 years ago
- Analysis of the SARS-CoV-2 genome☆57Updated 4 years ago