hannelita / study_notesLinks
β10Updated 7 years ago
Alternatives and similar repositories for study_notes
Users that are interested in study_notes are comparing it to the libraries listed below
Sorting:
- π΅ A lisp REPL interpreter made in Haskellβ24Updated 5 years ago
- The Red Flag of Functional Programmingβ105Updated 3 years ago
- Konrad Hinsen's OnClojure.com tutorialβ18Updated 8 years ago
- Algorithms and data structures in Rustβ12Updated 10 years ago
- Examples of the nice parts of Racketβ22Updated 7 years ago
- Useful resources for the Eta programming languageβ62Updated 3 years ago
- β23Updated 7 years ago
- Totally functional programming literatureβ60Updated 6 years ago
- β94Updated 9 years ago
- notes on where to find Haskell tutorials and tips to complete themβ120Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and moreβ45Updated 10 months ago
- Clojure's Transducers in Haskellβ40Updated 9 years ago
- Clojure transducers in a typed setting, in Haskellβ55Updated 10 years ago
- Hear proposals from the developer community - specially from women - about creating a test that assesses women friendly companiesβ21Updated 10 years ago
- Dhall to and from Clojureβ75Updated 6 years ago
- The Ntha Programming Languageβ91Updated 8 years ago
- Haskell library for manipulating and evaluating polynomialsβ20Updated 3 years ago
- Inspired by Cajoriβs A History of Mathematical Notations, and/or TV Tropes.β45Updated 7 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programmingβ57Updated 8 years ago
- A syntax checker for TOML filesβ28Updated 5 years ago
- β11Updated 9 years ago
- β22Updated 8 years ago
- Transducers for Idris: a library for composable algorithmic transformation.β32Updated 8 years ago
- A computational way to study discrete mathematics using Haskellβ73Updated 6 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojureβ24Updated 9 years ago
- Toy Lisp to Python compilerβ10Updated 11 years ago
- A repo for my presentations.β28Updated 7 years ago
- The common BODil Oriented Languageβ313Updated 8 years ago
- [status: superseded by Purr] SirΓ«n is an experimental context-based programming language with ad hoc multiple hierarchies, and multimethoβ¦β128Updated 8 years ago
- Example Integration for Embedding Rust in Haskellβ35Updated 6 years ago