Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
Repository Index
77,353 visible repositories in the index
49–59 of 59 · Most stars
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
- haskell
- joke
- hacking
- typing
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Haskell binding for Gremlin graph query language
Tool that allows to write Erlang NIF libraries in Haskell
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Experiment to compile something Elm-ish to Wasm
Initialise scaffolding for a new Elm project
Implementation of Ripple client protocol in Haskell