Discover tel/index-basic Open Source project

A set of specifications or signatures on algebraic modules and an implementation of a standard library built to match.

154

js-algebraic

JavaScript

serv

Kind-safe framework for type-safe APIs

Cryptography that's easy to digest (NaCl/libsodium bindings)

saltine

General, extensible effect monad for Scala with message-passing semantics

scala-tk

An Erlang client for Riemann.

zeta

Signatures of the category theoretic style; a experiment in flattery

old-blog

CSS

ocaml-cats

Brent Yorgey's Typeclassopedia, translated to Scala

scala-typeclassopedia

oak

An Elm Architecture component library for ClojureScript.

Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.

ocaml-transducers

"Fail Fast" process management for Haskell; inspired by Erlang

hotep

Twitter's Snowflake UUID generator in Erlang.

snowflake

A Haskell client for Riemann

riemann-hs

Elm Architecture for Scala.js

alder

Simple-minded abstract binding trees (Haskell)

hs-zabt

Functional, lazy streams.

ocaml-fstreams

Repo for use alongside my Shape of Shapeless talk at LambdaConf 2018

ShapeOfShapeless

Infinite state automatons

ocaml-autos

Tools for working with musical intonations

intone

Pure profunctor lenses atop Cats

scala-telescope

Big-endian Patricia tree IntMap implementation in Purescript.

purescript-intmaps

PureScript

pipes

Pipey stream processing for Clojure. Build yourself a streaming pipeline from orthogonal pieces.

A little gen_server for repeating events.

gen_heartbeat

Authentication-ho! OAuth 1.0 for Haskell atop http-conduit.

oauthenticated

ocaml-abt

Abstract binding trees

Pull configuration information from the environment

env-parser

Port of Matt-Esch's Virtual-Dom to Typescript

typescript-vdom

TypeScript

NSLtools

My version of NSLtools

Objective-C

ocaml-collage

An experimental language with row types

rho

A nice way of reading the ENV

env-parser-talk

hs-nanomsg

Nanomsg client.

Layout engine for SVG in Hiccup; the nuts and bolts of Clojure SVG graphics.

frame

acme-whose

Data.These for polisci

Bindings to Meteor in OCaml using js_of_ocaml and Goji

4601

Python

ocaml-meteor-bindings

Stockfighter code in Haskell and Elm

stockfighter

A Clojure wrapper around FastDTW by Stan Salvador and Philip Chan.

cljfastdtw

Java

hexpat-lens

Lenses for Hexpat

Automatically exported from code.google.com/p/bitstring

ocaml-bitstring

Associated code for "The tension between value and computation"

values-computation

raskell

Impera-Haskell, Raskell.

A bare-bones Happstack app that runs on Heroku

happstack-heroku-test

Plan 9 tools implemented in Haskell

Aeson for XML. Easy recursive mapping between Haskell and XML.

xml-mapping

A fenomic HMM acoustic model

FenemesHMM

Python

scalajs-fiftythree

A routing library

haste-react-experiments

Haskell library facilitating multiparty encryption carried over JSON

enc

Describe types as configurable and then write specializers all in one place

Configurable

face

Type-level GraphQL-like API library

haskell-maia

Conor McBride's "Clowns to the left of me, jokers to the right" in Scala

scala-dissections

BERT, BERP, and BERT-RPC for Clojure

bert

Two "tweet-sized" modern ciphers done up nice in Haskell. THIS IS AN ART/EDUCATIONAL PROJECT DO NOT USE IT FOR ANYTHING IMPORTANT UGH.

tweetCiphers

Periodically pushed VM metrics

tap

A little expression evaluator that could.

condee

Lazy, type-safe sorted lists

typescript-deku-rx-test

TypeScript

sorted

mcmc

Micro-sized React wrapper library.

scala-ureact

A Relational Model embedding (with extensions) in Haskell

relational

A rebar'd and repackaged fork of mochiweb's mochijson2

mochijson2

Decision Tree Language Models

Decision-Tree-Language-Models

Beautiful, compositional, annotated document layouts; a Wadler, Leijen, Christiansen pretty printer

scala-canon

Haskell solutions to some Project Euler problems

hseuler

Yet another attempt at correctly formulating FRP in Haskell.

fluorine

Exploring Dancing Links in Haskell

dlx-hs

Depth- and breadth-first set closures

closure

Cucumber Wire Protocol handler for Haskell

hs-cuke

Stupid simple bytestring templates.

inserts

hs-etcd

Haskell etcd client

Efficient vector spaces with arbitrary bases

based-vectors

A graph construction language for Haskell

graphbuilder

Easy, safe, fully compliant HTTP for Haskell

requests