Dan Connolly (dckc)

dckc

Geek Repo

Company:@agoric

Location:Kansas City metropolitan area

Home Page:https://www.madmode.com

Twitter:@dckc

Github PK Tool:Github PK Tool


Organizations
Agoric
monte-language
PCORnet

Dan Connolly's repositories

MidasWWW

MidasWWW - Motif based WWW browser by Tony Johnson at SLAC in 1992

Language:CStargazers:81Issues:3Issues:0

rust-sqlite3

Rustic bindings for sqlite3

Language:RustLicense:MITStargazers:58Issues:6Issues:19

go-duktape

Duktape JavaScript engine bindings for Go

Language:CLicense:MITStargazers:1Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

algebra

Experimental project to lay out basic algebra type classes

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

callgraph.rs

Callgraphs for Rust programs

Language:RustStargazers:0Issues:0Issues:0

es-lab

Automatically exported from code.google.com/p/es-lab

Language:JavaScriptStargazers:0Issues:0Issues:0

grail

Holy Grail for developing projects in Monte

Language:MathematicaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

html

Working Draft of the HTML specification

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

larust-tame

toward ocap discipline for rust

Language:RustStargazers:0Issues:0Issues:0

masque

Monte in Haskell

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

mmind5

A rust implementation of Knuth's five guess algorithm for mastermind

Language:RustStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:HTMLLicense:CC0-1.0Stargazers:0Issues:3Issues:0

mostly-adequate-guide

Mostly adequate guide to FP (in javascript)

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:MathematicaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pony-patterns

A cookbook style book of patterns for Pony

License:NOASSERTIONStargazers:0Issues:0Issues:0

ponyc

Pony Compiler

Language:C++License:BSD-2-ClauseStargazers:0Issues:3Issues:0
Language:PythonStargazers:0Issues:0Issues:0

q-runtime

experimental confined-code execution environment

Language:PythonStargazers:0Issues:0Issues:0

rfcs

RFCs for changes to Pony

Stargazers:0Issues:0Issues:0

rhocaml

OCaml implementation of rho calculus

Language:OCamlStargazers:0Issues:0Issues:0

smart-contracts

Smart contracts ported to Node and Q

Language:JavaScriptStargazers:0Issues:0Issues:0

test262

Official ECMAScript Conformance Test Suite

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

trust-dns

A Rust based DNS server

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0