LambdaCon / 2015

Related projects: ⓘ

• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆69Updated 8 years ago
• Felienne / Quarto
  This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie
  ☆14Updated 8 years ago
• degoes-consulting / lambdaconf-2015
  The official supporting materials repository for LambdaConf 2015.
  ☆90Updated 9 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 7 years ago
• FunctionalKatas / Katas
  Completed and proposed katas to complete
  ☆67Updated 6 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆50Updated 8 years ago
• Dierk / FregeGoodness
  Source of the Frege Goodness gitbook
  ☆16Updated 5 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 8 years ago
• lambdaconf / lambdaconf-2016-usa
  Repository for LambdaConf 2016 USA.
  ☆64Updated 4 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆18Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 9 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆45Updated 6 years ago
• penberg / fjord
  Fjord, F# programming language for the JVM.
  ☆202Updated 9 years ago
• YoEight / lambda-database-experiment
  Experimental event store database entirely written in Haskell
  ☆30Updated 6 years ago
• haskell-distributed / cloud-haskell
  This is an umbrella development repository for Cloud Haskell
  ☆72Updated 5 years ago
• Frege / frege-repl
  Frege REPL
  ☆77Updated 5 years ago
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 8 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 5 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• fregelab / chinook
  Tiny Frege web framework developed on top of sparkjava.com
  ☆27Updated 8 years ago
• slamdata / truffled-purescript
  ☆93Updated 8 years ago
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆147Updated 8 years ago
• strangeloop / StrangeLoop2016
  Strange Loop 2016
  ☆45Updated 7 years ago
• tpetricek / Talks
  Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.
  ☆90Updated 10 months ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• benmur / riemann-scala-client
  Scala client library for sending events to Riemann
  ☆19Updated 8 years ago
• YoEight / eventstore
  EventStore Haskell TCP Client
  ☆78Updated 2 years ago
• rjohnsondev / haskellshop
  Example pet shop written in Haskell
  ☆11Updated 8 years ago