joelgrus / science-questions
end-to-end data product for generating random science quizzes
☆19Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for science-questions
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A PureScript, browser-based implementation of simple linear regression.☆18Updated last year
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Spreadsheet demo in Haskell☆16Updated 2 weeks ago
- TODO☆10Updated 9 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- Miscellaneous constructions on monoids☆18Updated 3 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Example pet shop written in Haskell☆11Updated 8 years ago
- Pure, total functions!☆14Updated 8 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- Chess Engine written in Haskell☆15Updated 6 years ago
- This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of …☆42Updated 8 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 7 years ago
- The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…☆46Updated 4 years ago
- Slava Akhmechet's Lisp from 2006☆14Updated 10 years ago
- Web application to quickly and easily log your weightlifting sessions☆38Updated 8 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- Tuple data type and utility functions☆26Updated 2 years ago
- Interactive-diagrams☆39Updated 9 years ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆18Updated 7 years ago
- Braid representations in Haskell☆21Updated 10 months ago
- A categorical framework for circuit construction☆30Updated 8 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Type declarations for jQuery☆30Updated 4 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year