hannelita / study_notes
☆9Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for study_notes
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- https://crates.io/crates/transistor☆29Updated 2 years ago
- ☆23Updated 6 years ago
- Easier slideshows using Racket's slideshow tool☆22Updated 5 years ago
- Hiccup html templating in rust☆15Updated 2 years ago
- Konrad Hinsen's OnClojure.com tutorial☆18Updated 7 years ago
- Clojure interpreter that does not support alphanumerics.☆11Updated 9 years ago
- Toy todo-list service☆15Updated 5 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Totally functional programming literature☆60Updated 5 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- Soluções dos problems do adventofcode.com☆13Updated 3 years ago
- My personal template repository for Racket packages☆15Updated 4 years ago
- Algorithms and data structures in Rust☆12Updated 9 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 7 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- Página oficial da comunidade brasileira de Common Lisp☆16Updated 7 months ago
- ☆18Updated 6 years ago
- ☆21Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 5 years ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- A Shades of Purple theme port for Emacs☆18Updated last year
- An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)☆50Updated 6 years ago
- Calculus of Constructions☆17Updated 5 years ago
- Agda libraries relevant to Moonad☆14Updated 5 years ago
- A parser for org files writter in rust.☆16Updated 5 years ago
- My haskell-mode configuration for Emacs☆19Updated 2 years ago