RobAntcliff / JSCSExamMaterial
Study Material for the CompSci Junior Sophister Exams
☆7Updated 8 years ago
Related projects: ⓘ
- New DUCSS website☆7Updated last year
- Aligning characters for fun and profit, with Haskell and PureScript☆76Updated 6 years ago
- Test project☆5Updated last year
- Haskell implementation of Magic: The Gathering☆111Updated 3 years ago
- Sync your TCD timetable with Google Calendar☆10Updated 4 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆57Updated 6 months ago
- Examples using dependent types for mathematical proofs at the type level☆12Updated 4 years ago
- reddit api for haskell☆76Updated 2 years ago
- Advent of Code 2017 (Warning: Spoilers)☆49Updated 2 years ago
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆15Updated 11 years ago
- A collection of Haskell's WATs☆89Updated 9 months ago
- (ARCHIVED) Haskell exercises I wrote for Haskell Learning Group☆48Updated 7 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 4 years ago
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆43Updated 3 years ago
- Haskell job queue with admin UI and loads of other features.☆74Updated 6 months ago
- Advent of Code 2018 Solutions (Spoilers!)☆83Updated 2 years ago
- A fully fledged and highly scalable lunch management system for the modern enterprise☆29Updated last week
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated last year
- Template for quickly and easily combining happy and alex☆49Updated 8 years ago
- ☆101Updated 3 years ago
- CQRS/ES library in Haskell☆14Updated 2 years ago
- First-class type families☆86Updated last month
- Write type-safe GraphQL services in Haskell☆406Updated 4 years ago
- A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!☆33Updated 6 years ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated last month
- Notes of various papers regaridng free monads and extensible effects☆21Updated 4 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated 7 months ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Updated 6 years ago
- Various functions which are used across multiple @serokell packages☆44Updated 5 years ago
- sudoku solver in haskell☆41Updated 3 years ago