tonymorris / java-trivia
Java trivia questions
☆67Updated 4 years ago
Alternatives and similar repositories for java-trivia:
Users that are interested in java-trivia are comparing it to the libraries listed below
- Repository for LambdaConf 2016 USA.☆64Updated 4 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆204Updated 9 months ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Talks on category-parametric programming.☆22Updated last year
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- A talk on using recursion schemes in FP.☆217Updated 9 months ago
- Components as records of functions for Haskell☆169Updated last month
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 10 years ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated 4 months ago
- Test monadic programs using state machine based models☆202Updated 3 years ago
- Course material for lens☆22Updated 7 years ago
- ☆80Updated 5 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 7 years ago
- Portfolio-based approach to learning Haskell☆104Updated 7 years ago
- Dhall for Java☆174Updated 5 months ago
- An onion architecture example☆70Updated 8 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Advent of Code 2017☆41Updated 6 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆195Updated 3 years ago
- Course material for lens☆232Updated last month
- Generate GraphViz graphs by interpretting free monads.☆52Updated 10 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 5 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- With way too messy gist.github pages this is an attempt to organise my snippets☆401Updated 6 years ago
- Solutions to Advent of Code 2019☆50Updated 5 years ago
- Comonads By Example Conference talk☆89Updated 5 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 3 years ago