tonymorris / java-trivia
Java trivia questions
☆66Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for java-trivia
- A talk on using recursion schemes in FP.☆217Updated 7 months ago
- Advent of Code 2017☆41Updated 5 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 2 years ago
- Repository for LambdaConf 2016 USA.☆64Updated 4 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Java Code Generator for Idris☆71Updated 8 years ago
- Portfolio-based approach to learning Haskell☆104Updated 6 years ago
- Course material for lens☆231Updated 5 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆202Updated 6 months ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- Components as records of functions for Haskell☆166Updated 8 months ago
- Talks on category-parametric programming.☆22Updated 10 months ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated last month
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Test monadic programs using state machine based models☆203Updated 3 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- An onion architecture example☆70Updated 8 years ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 10 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆76Updated 7 years ago
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 8 years ago
- Aligning characters for fun and profit, with Haskell and PureScript☆75Updated 6 years ago
- Networks of composable stream transducers☆340Updated last year
- Solutions to Advent of Code 2019☆50Updated 4 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆68Updated 9 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 9 years ago
- ☆80Updated 5 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- ☆229Updated 3 years ago