taneb Goto Github PK

raytracer

Ray-tracer in Haskell. Based on Ray Tracing on One Weekend but vector-space agnostic

reals

Implementation of Cauchy real numbers in Agda

recursion-schemes

Generalized bananas, lenses and barbed wire

regex

Regular expressions and finite state automata in Agda

rust-numpy

Rust binding of NumPy C-API

semigroupoids

semigroups

Haskell 98 semigroups

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

servant-blaze

servant-uverb

Multiple response statuses and bodies per route for servant.

shims

GHCJS runtime system and JavaScript support code for packages

snap

Snap project starter executable plus some libraries for building web apps

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

spirit

Like Djinn, but different. Original: https://gist.github.com/Barrucadu/6402042

spriggan

A sprite-based game library for Haskell

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

strict-base-types

Fully strict variants of the types provided in base.

suma

SAT solver I'm writing

sunroof-compiler

Monadic Javascript Compiler

tables

Deprecated because of

tardis

tbh

Blog platform thing

tec

The Trillek Engine

tensorflow

Computation using data flow graphs for scalable machine learning

texteditor

twochapssfight

Quickly made multiplayer fighting game written with Lua/Love2D

void

Provides Data.Void

webqueues

A simple web server mapping UUIDs to queues, allowing enqueueing with POST, dequeueing with GET, and deletion with DELETE

wordeger

Unbounded non-negative integer type for Haskell

yukibot

An IRC bot, and associated libraries, for the ##compsoc-uk-anime channel on Freenode