dckc

Open Web advocate, Open source developer since 1993

@agoricKansas City metropolitan area

Pinned Repositories

agoric-sdk
monorepo for the Agoric Javascript smart contract platform
Language:JavaScript347 24 4.8k237
awesome-ocap
Awesome Object Capabilities and Capability Security
361 32 4025
finquick
family finance tools of a closet librarian
Language:JavaScript12 2 194
ipython-docker
docker container for ipython notebook
Language:Shell5 4 01
madmode-blog
my tinkering notebook (blog)
Language:Jupyter Notebook0 3 1912
MidasWWW
MidasWWW - Motif based WWW browser by Tony Johnson at SLAC in 1992
Language:C83 3 07
py2scala
Use scala compiler to typecheck python programs.
Language:Python5 4 01
rust-sqlite3
Rustic bindings for sqlite3
Language:Rust59 6 1921
togl
a Theory of Graphs (by Meredith)
Language:Idris5 3 31

dckc's Repositories

dckc/MidasWWW
MidasWWW - Motif based WWW browser by Tony Johnson at SLAC in 1992
Language:C83 3 07
dckc/ipython-docker
docker container for ipython notebook
Language:Shell5 4 01
dckc/py2scala
Use scala compiler to typecheck python programs.
Language:Python5 4 01
dckc/deleg8
a Chrome Extension to delegate session access
Language:JavaScript2 3 1
dckc/fpscribe
footpedal sensor for transcription
Language:Rust21
dckc/blackknightcap
Language:Python1 3 0
dckc/pada1
still in stealth mode...
Language:Scala1 3 7
dckc/adv-r
Advanced R programming: a book
Language:R3 0
dckc/facct
accounting utilities built on fp
Language:Haskell
dckc/hh-office
a record keeping app for a small counseling practice.
Language:Python
dckc/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell
dckc/idris-tutorial
A tutorial to the Idris Programming Language.
Language:TeX3 0
dckc/js-monte
Language:JavaScript
dckc/keepassdroid
Automatically exported from code.google.com/p/keepassdroid
2 773
dckc/mostly-adequate-guide
Mostly adequate guide to FP (in javascript)
Language:JavaScript
dckc/new-git-scala
testing...
Language:Scala3 0
dckc/node-ses-docker
an exercise in capability security and deployment
Language:Shell
dckc/pfmorris
Language:Scala3 0
dckc/purescript
A small strongly, statically typed language which compiles to Javascript
Language:Haskell3 0
dckc/PyCap
REDCap in Python
Language:Python3 0
dckc/quacken
Language:Python3 1
dckc/rust
a safe, concurrent, practical language
Language:Rust
dckc/rust-core
a lightweight standard library for rust with freestanding support
Language:Rust
dckc/rust-mysql-simple
Mysql client library implemented in rust.
Language:Rust3 0
dckc/rust-rserve
figuring out the rserve ocap protocol
Language:Rust3 0
dckc/rustsqlite
SQLite3 Bindings for Rust.
Language:Rust3 0
dckc/sandstorm
Personal Cloud Sandbox
dckc/swap
The Semantic Web Application Platform: cwm etc
Language:Python
dckc/swap-scala
Automatically exported from code.google.com/p/swap-scala
Language:Scala
dckc/watch1
Language:JavaScript