krisajenkins / AdventOfCodeLinks
PureScript solutions for Advent of Code
☆17Updated 2 years ago
Alternatives and similar repositories for AdventOfCode
Users that are interested in AdventOfCode are comparing it to the libraries listed below
Sorting:
- Dhall to and from Clojure☆75Updated 6 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 5 years ago
- A Haskell representation of Clojure's EDN☆11Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Support Frege compiler via leiningen☆33Updated 9 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- Extensible HTTP Web server configured entirely by a yaml file☆25Updated 7 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- μKanren in Elm☆43Updated 8 years ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally☆72Updated 5 years ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Emacs mode for PureScript☆44Updated 7 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Major mode for psci (purescript's repl)☆17Updated last year
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- yet another monad lib for clojure☆94Updated 7 years ago
- A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.☆20Updated 10 years ago
- Common control classes and utility functions☆56Updated last year
- ☆52Updated 6 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Eta bindings to Kafka☆15Updated 7 years ago