krisajenkins / AdventOfCode

Related projects: ⓘ

• f-f / dhall-clj
  Dhall to and from Clojure
  ☆75Updated 5 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 4 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• eborden / language-edn
  A Haskell representation of Clojure's EDN
  ☆11Updated 6 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• purescript-node / purescript-node-http
  A wrapper for Node's HTTP APIs
  ☆40Updated last year
• Frege / frege-lein-plugin
  Support Frege compiler via leiningen
  ☆32Updated 8 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆29Updated 6 years ago
• seancorfield / lein-fregec
  A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.
  ☆20Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• justinwoo / purescript-bundaegi
  because nobody really wants to eat boiled silkworms
  ☆13Updated 7 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆93Updated 6 years ago
• purescript-emacs / emacs-psci
  Major mode for psci (purescript's repl)
  ☆17Updated 9 months ago
• jaredly / myntax
  ☆51Updated 5 years ago
• ChrisPenner / dumbwaiter
  Extensible HTTP Web server configured entirely by a yaml file
  ☆25Updated 6 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• justinwoo / vidtracker
  A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally
  ☆72Updated 4 years ago
• purescript / purescript-control
  Common control classes and utility functions
  ☆56Updated 7 months ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 2 years ago
• chrisdone / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 8 years ago
• eckart / SDL2-idris
  SDL2 Bindings for the Idris programming language
  ☆10Updated 4 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆41Updated 7 years ago
• spicydonuts / pux-rock-paper-scissors
  ☆22Updated 7 years ago
• lpil / purescript-aws-lambda-express
  ☆23Updated 5 years ago
• hoodunit / purescript-screeps
  PureScript wrapper library for the Screeps game API (https://screeps.com)
  ☆26Updated 2 years ago
• dbushenko / trurl
  Haskell code generator
  ☆22Updated 8 years ago
• dysinger / purescript-mode
  Emacs mode for PureScript
  ☆44Updated 6 years ago
• frenchy64 / stream-fusion
  ☆11Updated 9 years ago