doublec/urweb-persona
Persona authentication example in Ur/Web
Developer Profile
doublec
Discovered public repositories for doublec in the GitHub catalog.
doublec/aliceml-abandoned
Moved to aliceml/aliceml
doublec/luv
libuv bindings for Lua
doublec/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
doublec/rust-from-c-example
Example of linking to and calling Rust code from C
doublec/SockThing
Bitcoin Stratum Mining Pool Server
doublec/aos
Applied operating system - an operating system kernel written in the ATS programming language.
doublec/ats-bitcoin
ATS library for working with bitcoin
doublec/ats-task
Lightweight tasks module for ATS
doublec/ats-reference
Unofficial reference documentation for ATS programming language libraries
doublec/longpoller
ATS version of Longpoll server used in the bitparking pool
doublec/ats-libzmq
ATS binding for libzmq (zeromq)
doublec/roads
A web application framework for Mozart / Oz
doublec/ozbitcoin
Mozart/Oz library for interfacing with Bitcoin
doublec/ozjson
Mozart/Oz library for encoding and decoding JSON using libjansson
doublec/mozart-stdlib
Public repository.
doublec/namecoin-polipo
A fork of the polipo HTTP proxy that uses namecoind for lookups
doublec/ats-libevent
ATS binding for libevent
doublec/ozffi
Wrapper around libffi for Mozart/Oz
doublec/mozart
A fork of the Mozart/Oz v1.3.2 VM for 64-bit systems
doublec/WaspVM-Articles
My notes on using Scott Dunlop's WaspVM and function reference
doublec/WaspVM
The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
doublec/urweb-post-example
Example Ur/Web application using POST
doublec/urweb-clock
An example Ur/Web application to display server time
doublec/bitcoin-pool
Import of puddinpop's bitcoin remote pooled mining code
doublec/ats-jansson
ATS language wrapper for jansson JSON parsing library
doublec/factor
Factor programming language - Github mirror of official GIT repo
doublec/jsj
J Interpreter written in JavaScript
doublec/factor-articles
A collection of articles about the Factor programming language
doublec/webm-player
A command line player for webm video files
doublec/nanojit-central
Import of Adobe/Mozilla library for generating machine code to implement JIT compilers
doublec/jsparse
JavaScript Parser Combinator Library
doublec/pure-ogg-player
An Ogg player written in the Pure programming language
doublec/self
Making the world safe for objects
doublec/io
Io programming language
doublec/plogg
Read and Play Ogg files using low level Ogg libraries
doublec/gc
A lightweight garbage collector for C++ programs
doublec/play
Example code I play around with to try things out
doublec/peg
Fork of Ian Piumarta's C based Parsing Expression Grammar library
doublec/nanojit
Fork of Adobe/Mozilla lightweight library for generating machine code from C++
doublec/oggplayer
Simple Ogg file player using liboggplay
doublec/cf
a simple concatenative programming language written in C++