Beast code in Giters

Soeren Roerden's starred repositories

the_silver_searcher

A code-searching tool similar to ack, but faster.

Language:CApache-2.025897 429 840

SimianArmy

Tools for keeping your cloud operating in top form. Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.

Language:JavaApache-2.07964 912 106

gatling

Modern Load Testing as Code

Language:ScalaApache-2.06334 233 3735

Cinder

Cinder is a community-developed, free and open source library for professional-quality creative coding in C++.

Language:C++NOASSERTION5279 271 933

JCTools

Language:JavaApache-2.03519 190 238

macropy

Macros in Python: quasiquotes, case classes, LINQ and more!

Language:TSQL3268 97 76

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispNOASSERTION2699 83 1076

stream-lib

Stream summarizer and cardinality estimator.

Language:JavaApache-2.02259 229 61

multiple-cursors.el

Multiple cursors for emacs.

Language:Emacs Lisp2250 600

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Language:HaskellNOASSERTION2004 68 575

book

A textbook on informal homotopy type theory

Language:TeX2001 122 630

HLearn

Homomorphic machine learning

Language:HaskellNOASSERTION1617 141 60

plumbing

Prismatic's Clojure(Script) utility belt

Language:Clojure1485 91 67

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Language:HaskellBSD-3-Clause1046 84 101

ReactiveMongo

:leaves: Non-blocking, Reactive MongoDB Driver for Scala

Language:ScalaApache-2.0848 55 385

eff

A functional programming language based on algebraic effect handlers

Language:OCamlBSD-2-Clause847 35 39

Naiad

The Naiad system provides fast incremental and iterative computation for data-parallel workloads

Language:C#Apache-2.0514 61 24

saddle

SADDLE: Scala Data Library

Language:HTMLApache-2.0508 40 58

Shelly.hs

Haskell shell scripting

Language:HaskellBSD-3-Clause413 19 121

succinct

A collection of succinct data structures

Language:C++NOASSERTION193 14 2

thyme

Thyme is a microbenchmark utility for Scala. It includes Parsley, a (simple) local profiling tool.

Language:Scala170 13 9

caledon

higher order dependently typed logic programing

Language:HaskellNOASSERTION163 16 2

git-playback

A git command to play back file history.

Language:Python130 5 9

Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

Language:HaskellBSD-3-Clause128 9 5

ofxKinectCommonBridge

A wrapper for the simple Kinect for Windows library developed at Microsoft in partnership with myself & James George

Language:C++NOASSERTION90 31 29

popl2014-papers

72 100

miller

Miller/pattern unification in Agda

Language:Agda62 30

Vole

being a funny little programming language with a funny little abstract machine

Language:HaskellBSD-3-Clause17 60

Play20

Play framework 2.0

Language:Scala1 10

scala-redis

A scala library for connecting to a redis server, or a cluster of redis nodes using consistent hashing on the client side.

Language:Scala1 10