J Kenneth King's repositories

json-ld

JSON-LD for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:5Issues:3Issues:0

rosby

A simple, reliable key key-value database

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

Datomos

A Datalog library for Haskell

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

book-real-world-haskell

Real World Haskell Source Code

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

capability

Extensional capabilities and deriving combinators

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

cv

The tex sources of my curriculum vitae

Language:TeXStargazers:0Issues:0Issues:0

declarative-programming-streams

Active streaming declarative programmers

Stargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

dfdb

Write my own database from scratch

License:Apache-2.0Stargazers:0Issues:0Issues:0

dynahaskell

the dynabook but for haskell

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

esqueleto

New home of Esqueleto, please file issues so we can get things caught up!

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

eventsourcing

CQRS/ES library in Haskell

Language:HaskellStargazers:0Issues:1Issues:0

flow-typed

A central repository for Flow library definitions

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

GitStars

A tiny CLI program to list out a Github users' starred repositories

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

haskell-katas

Simple Exercises in Haskell, using HSpec

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

hubot

A customizable life embetterment robot.

License:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

json-autotype

Automatic Haskell type inference from JSON input

Language:HaskellStargazers:0Issues:0Issues:0
Language:LeanStargazers:0Issues:1Issues:0

password

datatypes and functions for easily working with passwords in Haskell

Language:HaskellStargazers:0Issues:1Issues:0

recht

A concise rule engine to express and enforce rules for selections, permissions and the like

License:MITStargazers:0Issues:0Issues:0

spectacle

Embedded specification language & model checker in Haskell

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

validation

A data-type like Either but with an accumulating Applicative

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

yendor.ts

A roguelike library inspired by libtcod written in TypeScript

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0