m00nlight / hackerrank
☆11Updated 4 years ago
Alternatives and similar repositories for hackerrank
Users that are interested in hackerrank are comparing it to the libraries listed below
Sorting:
- Command-line utilities for Real World OCaml☆16Updated 6 years ago
- Programs for the second edition of the Algorithm Design Manual☆19Updated 4 years ago
- Topology library for Coq☆12Updated 9 years ago
- Scala solutions for hackerrank☆11Updated 8 years ago
- "Science, you don't know, looks like magic."― Christopher Moore☆11Updated 4 years ago
- ☆20Updated 9 years ago
- Solutions and explanations to practice problems (algorithms, data structures, math, tutorials, language proficiency) on hackerrank in py…☆9Updated 4 years ago
- Special mathematical functions☆41Updated last year
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Cracking the Coding Interview 6th Ed. Haskell Solutions☆21Updated 2 years ago
- Erlang wrapper for the Github API.☆16Updated 5 years ago
- Erlang VM reimplementation in Haskell☆20Updated 10 years ago
- ☆54Updated 11 years ago
- Code from Learn You A Haskell book: http://learnyouahaskell.com/☆17Updated 12 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Updated 8 years ago
- List of example Ceylon applications☆17Updated 11 years ago
- edX course☆15Updated 11 years ago
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Updated 15 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Benchmarks from the RELEASE project☆11Updated 8 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago
- Examples and exercises for the OCaml Book "OCaml from the Very Beginning"☆34Updated 3 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Learning Haskell: algorithms, data structures, mini-programs, materials, excercises☆17Updated 5 years ago
- Frege Interpreter☆15Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- An Introduction to Functional Programming☆9Updated 9 years ago