joelgrus / science-questionsLinks
end-to-end data product for generating random science quizzes
☆19Updated 9 years ago
Alternatives and similar repositories for science-questions
Users that are interested in science-questions are comparing it to the libraries listed below
Sorting:
- Spreadsheet demo in Haskell☆16Updated 2 months ago
- Interactive-diagrams☆39Updated 10 years ago
- A PureScript, browser-based implementation of simple linear regression.☆18Updated 2 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A scrapbook for Haskell developers☆16Updated 14 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 10 years ago
- DeepAlgebra☆25Updated 7 years ago
- Explorations in relations and the algebra of programming☆17Updated 5 years ago
- Slava Akhmechet's Lisp from 2006☆14Updated 11 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 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
- Composable probability monads in Haskell.☆22Updated 9 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Braid representations in Haskell☆22Updated last year
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Updated 8 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- A more elegant specification for FRP☆24Updated last year
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- Chess Engine written in Haskell☆15Updated 7 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Web application to quickly and easily log your weightlifting sessions☆38Updated 9 years ago
- TODO☆10Updated 9 years ago