guru-das-s / eudyptulaLinks
Task descriptions for all the tasks I've received in the Eudyptula Challenge
☆9Updated 7 years ago
Alternatives and similar repositories for eudyptula
Users that are interested in eudyptula are comparing it to the libraries listed below
Sorting:
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- The functional Haskell kernel☆137Updated 9 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆147Updated 3 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 3 years ago
- ALGT 2.0☆30Updated 5 years ago
- Haskell Operating System☆165Updated 16 years ago
- Library of the ##dependent distributed research support group☆114Updated 11 months ago
- Beating unix `wc` in Haskell☆136Updated 3 years ago
- POSIX functionality☆116Updated 2 weeks ago
- educational compiler for not (quite) toy languages☆21Updated 6 years ago
- A Haskell 6502 Emulator☆69Updated 9 years ago
- Have you heard of our lord and savior Haskell?☆58Updated 7 years ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated 9 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- The adventures of a Haskell compiler☆226Updated last month
- compile your own functional language☆36Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Updated 11 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆165Updated last month
- Pure memoization combinators for Haskell☆38Updated 9 years ago
- sudoku solver in haskell☆41Updated 3 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆96Updated 7 months ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- How to make you very own REPL in Haskell☆30Updated 8 years ago
- Cogent Project☆165Updated 3 months ago
- GHC compiled against musl & uClibc☆40Updated 5 months ago
- Emulator for Nintendo Game Boy, written in Haskell, partially working☆24Updated 13 years ago
- Total Parser Combinators in Agda☆129Updated 2 years ago