dkm's starred repositories

julia

The Julia Programming Language

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:5326Issues:204Issues:7449

derby

MVC framework making it easy to write realtime, collaborative applications that run in both Node.js and browsers

aeson

A fast Haskell JSON library

Language:HaskellLicense:NOASSERTIONStargazers:1237Issues:38Issues:492

HaLVM

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

Language:HaskellLicense:BSD-3-ClauseStargazers:1048Issues:84Issues:101

cobol-on-wheelchair

Micro web-framework for COBOL

Language:COBOLLicense:MITStargazers:943Issues:29Issues:13

notty

Declarative terminal graphics for OCaml

Language:OCamlLicense:ISCStargazers:349Issues:17Issues:36

ocaml-tls

TLS in pure OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:292Issues:26Issues:97

jackline

minimalistic secure XMPP client in OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:251Issues:24Issues:150

typo

A programming language that runs in Haskell's type system.

Language:HaskellLicense:NOASSERTIONStargazers:249Issues:17Issues:1

ocaml-nocrypto

OCaml cryptographic library

Language:OCamlLicense:ISCStargazers:112Issues:18Issues:90

psq

Functional Priority Search Queues for OCaml

Language:OCamlLicense:ISCStargazers:53Issues:6Issues:1

ocaml-x509

X509 (RFC5280) handling in OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:50Issues:13Issues:38

ocaml-certify

Small command-line tools for making certificates with OCaml x509/nocrypto toolstack.

Language:OCamlLicense:ISCStargazers:38Issues:11Issues:8

ocaml-asn1-combinators

Embed typed ASN.1 grammars in OCaml

Language:OCamlLicense:ISCStargazers:35Issues:13Issues:16

btc-pinata

If you smash it, you get to keep the pieces.

mirage-seal

Sealing local directories into Mirage Unikernels

mirage-entropy

Entropy driver for MirageOS -- this has been imported into https://github.com/mirage/mirage-crypto

Language:OCamlLicense:BSD-2-ClauseStargazers:12Issues:24Issues:11

pgscala

PostgreSQL JDBC wrapper for Scala

Language:ScalaLicense:BSD-3-ClauseStargazers:6Issues:2Issues:9

bzzT

Simple system for remote-loading of new bytecode into a running JVM over Akka

Language:ScalaStargazers:4Issues:0Issues:0

dicp

A cornucopia of interpreters.

Language:LiveScriptStargazers:4Issues:2Issues:0

hakkal

Haklab Kalendar!

Language:CoffeeScriptStargazers:4Issues:2Issues:0

spherical-shell

How much stuff fits in a spherical shell of various dimensions?

Language:OCamlStargazers:3Issues:3Issues:0

dead-simple-promises-js

simple and performant js promise implementation

Language:LiveScriptStargazers:2Issues:2Issues:0

google-web-apis

Haskell library for accessing [some of the] Google web services

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

irc-enumerator

Enumerator-based IRC library for Haskell

Language:HaskellStargazers:2Issues:2Issues:0

fluxus

experimental fluxus fork

Language:C++License:GPL-2.0Stargazers:1Issues:2Issues:1
Language:CStargazers:1Issues:2Issues:0

redex

A lambda toy.

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