MHSByteClub / mhsbyteclub.github.ioLinks
Website for the mundelein high school byte club
☆18Updated 6 years ago
Alternatives and similar repositories for mhsbyteclub.github.io
Users that are interested in mhsbyteclub.github.io are comparing it to the libraries listed below
Sorting:
- DEPRECATED: Haskell library for retrieving and linkifying a Twitter user timeline.☆17Updated 2 years ago
- A raytracer written in Haskell☆10Updated 10 years ago
- Deprecated in favor of todobackend-haskell☆10Updated 10 years ago
- A simple XML module for Idris.☆13Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- ☆23Updated 9 years ago
- Flexible session middleware for WAI☆15Updated 5 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Typed DSLs for sorting☆20Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 9 years ago
- HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell☆21Updated 10 years ago
- Curses bindings package for Idris☆13Updated 7 years ago
- tiny webservice to get a link preview from a url☆15Updated 10 years ago
- 2048 in Idris☆124Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- ☆15Updated 9 years ago
- Haskell code generator☆22Updated 10 years ago
- Automatic (re)compilation of Purescript code☆11Updated 3 years ago
- Writes files atomically in Haskell while preserving permissions☆19Updated 5 months ago
- Parsers for various configuration files written in Idris.☆19Updated 8 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Securely store hashed, salted passwords☆20Updated 9 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 8 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Updated 5 years ago
- The Red Flag of Functional Programming☆104Updated 4 years ago
- Effectful Streaming for Idris☆15Updated 5 years ago
- Regular expression matching in Idris☆11Updated 9 years ago
- A fast globally unique variable supply with a pure API☆19Updated 2 years ago