Arjan Blokzijl (arjanblokzijl)

arjanblokzijl

Geek Repo

Location:Zürich, Switzerland

Github PK Tool:Github PK Tool

Arjan Blokzijl's starred repositories

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Language:ScalaLicense:Apache-2.0Stargazers:14305Issues:720Issues:0

scala3

The Scala 3 compiler, also known as Dotty.

Language:ScalaLicense:Apache-2.0Stargazers:5718Issues:209Issues:8463

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3414Issues:120Issues:2336

shapeless

Generic programming for Scala

Language:ScalaLicense:Apache-2.0Stargazers:3372Issues:104Issues:410

spire

Powerful new number types and numeric abstractions for Scala.

Language:ScalaLicense:MITStargazers:1760Issues:66Issues:404

intellij-scala

Scala plugin for IntelliJ IDEA

Language:ScalaLicense:Apache-2.0Stargazers:1171Issues:111Issues:0

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

Language:ScalaLicense:MITStargazers:912Issues:28Issues:97

conduit

A streaming data library

scalameter

Microbenchmarking and performance regression testing framework for the JVM platform.

Language:ScalaLicense:NOASSERTIONStargazers:505Issues:29Issues:112

pipes

Compositional pipelines

Language:HaskellLicense:BSD-3-ClauseStargazers:486Issues:29Issues:102

scala

Typelevel Scala, a fork of Scala

machines

Networks of composable stream transducers

Language:HaskellLicense:NOASSERTIONStargazers:338Issues:35Issues:49

scala-machines

A stream processing library for Scala

Language:ScalaLicense:MITStargazers:212Issues:32Issues:9

collection-strawman

Implementation of the new Scala 2.13 Collections

Language:ScalaLicense:Apache-2.0Stargazers:201Issues:55Issues:252

macrocosm

Exploration of Scala macros

http-conduit

Superseded by: https://github.com/snoyberg/http-client

Language:HaskellStargazers:48Issues:11Issues:0

scala-conduits

A port to Scala of the Conduit library by Michael Snoyman

scatur

A Turing Machine encoded in the scala type system

Language:ScalaLicense:NOASSERTIONStargazers:41Issues:3Issues:0

byteme

Parser and Pickler combinator library for binary data

Language:ScalaLicense:Apache-2.0Stargazers:35Issues:2Issues:0

indexed

Indexed Functors for GHC 7.6

Language:HaskellLicense:NOASSERTIONStargazers:21Issues:0Issues:0

scala-foreach-benchmark

SBT template project for creating Scala (micro-)benchmarks based on Caliper

Language:ScalaStargazers:20Issues:4Issues:0

pipes-core

Compositional pipelines

Language:HaskellLicense:BSD-3-ClauseStargazers:19Issues:2Issues:6

scalaz7-experimental

Development moved to: https://github.com/scalaz/scalaz/tree/scalaz-seven

Language:ScalaStargazers:18Issues:2Issues:0

pipes-extra

Pipe utilities

Language:HaskellLicense:BSD-3-ClauseStargazers:9Issues:0Issues:0

scala-pipes

porting haskell pipes to scala

Language:HaskellStargazers:7Issues:4Issues:0

ulysses-data

ports of some of the haskell collections to scala

Language:HaskellStargazers:4Issues:2Issues:0

reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:2Issues:0

scalaz

An extension to the core scala library.

Language:ScalaStargazers:1Issues:2Issues:0

transducers

Stream Transducers

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:4Issues:0