Pinned Repositories
agoric-sdk
monorepo for the Agoric Javascript smart contract platform
awesome-ocap
Awesome Object Capabilities and Capability Security
finquick
family finance tools of a closet librarian
ipython-docker
docker container for ipython notebook
madmode-blog
my tinkering notebook (blog)
MidasWWW
MidasWWW - Motif based WWW browser by Tony Johnson at SLAC in 1992
py2scala
Use scala compiler to typecheck python programs.
rust-sqlite3
Rustic bindings for sqlite3
togl
a Theory of Graphs (by Meredith)
dckc's Repositories
dckc/rust-sqlite3
Rustic bindings for sqlite3
dckc/go-duktape
Duktape JavaScript engine bindings for Go
dckc/airbrus
dckc/algebra
Experimental project to lay out basic algebra type classes
dckc/callgraph.rs
Callgraphs for Rust programs
dckc/CDM-ERRATA
The errata lists the minor errors and typos that have been identified in the PCORnet Common Data Model (CDM) specification.
dckc/es-lab
Automatically exported from code.google.com/p/es-lab
dckc/grail
Holy Grail for developing projects in Monte
dckc/grouse-pre-split
Greater Plains Collaborative Reusable Unified Study Environment (GROUSE)
dckc/html
Working Draft of the HTML specification
dckc/i2b2-geo
dckc/kerpow
dckc/larust-tame
toward ocap discipline for rust
dckc/masque
Monte in Haskell
dckc/mmind5
A rust implementation of Knuth's five guess algorithm for mastermind
dckc/monstrosite
dckc/monte-language.github.io
Monte website
dckc/mt-mafia
dckc/nix
Nix, the purely functional package manager
dckc/nixpkgs
Nix Packages collection
dckc/pony-patterns
A cookbook style book of patterns for Pony
dckc/ponyc
Pony Compiler
dckc/pycon_poster
dckc/q-runtime
experimental confined-code execution environment
dckc/rfcs
RFCs for changes to Pony
dckc/rhocaml
OCaml implementation of rho calculus
dckc/smart-contracts
Smart contracts ported to Node and Q
dckc/snakes-ladders
dckc/test262
Official ECMAScript Conformance Test Suite
dckc/trust-dns
A Rust based DNS server