krisajenkins / AdventOfCodeLinks
PureScript solutions for Advent of Code
☆17Updated 3 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☆76Updated 6 years ago
- yet another monad lib for clojure☆94Updated 8 years ago
- A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.☆20Updated 10 years ago
- Support Frege compiler via leiningen☆35Updated 9 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- An implementation of Hindley-Milner in Clojure.☆169Updated 11 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated 2 years ago
- Simple Haskell http framework☆87Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 10 years ago
- A wrapper for Node's HTTP APIs☆40Updated 2 years ago
- because nobody really wants to eat boiled silkworms☆13Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆56Updated 10 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆95Updated 7 years ago
- Haskell in S-expression☆176Updated last year
- A literate clojure implementation of microKanren☆68Updated 6 years ago
- ☆23Updated 7 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 11 years ago
- ☆22Updated 9 years ago
- The Ntha Programming Language☆91Updated 9 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 5 years ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally☆72Updated 5 years ago
- A statically typed, functional Lisp, building upon Clojure☆79Updated 8 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 8 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 10 years ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- An Elm Architecture component library for ClojureScript.☆21Updated 9 years ago
- A Clojure/ClojureScript implementation of Elm FRP.☆58Updated 11 years ago
- Low-level PureScript wrappers for React Native☆60Updated 9 years ago
- Emacs integration for PureScript's psc-ide tool.☆132Updated 8 months ago