Alternatives and similar repositories for combinators.info

Users that are interested in combinators.info are comparing it to the libraries listed below

• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 9 years ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆22Updated 4 months ago
• bmsherman / blog
  ☆41Updated 11 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 7 years ago
• mchakravarty / lets-program
  Let's program! Get into programming writing a simple game.
  ☆75Updated 11 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• WeAreWizards / haskell-websockets-tsung-benchmark
  Benchmark a Haskell websocket server with tsung
  ☆13Updated 10 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 6 years ago
• lambdaconf / lambdaconf-2016-usa
  Repository for LambdaConf 2016 USA.
  ☆67Updated 5 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 10 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 5 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 11 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• susanctu / Haskell-In-Memory-DB
  ☆13Updated 11 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆57Updated 3 weeks ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆51Updated 10 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆104Updated last year
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago