- Kansas City metropolitan area
- https://www.madmode.com
- https://orcid.org/0000-0002-0928-7103
- @dckc@social.coop
Stars
- All languages
- Ada
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Dart
- Dhall
- Dockerfile
- Emacs Lisp
- F#
- F*
- Go
- Groovy
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KCL
- Kotlin
- Lean
- Makefile
- Mathematica
- NCL
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- Prolog
- PureScript
- Python
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SAS
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Swift
- TLA
- TSQL
- Tcl
- TeX
- TypeScript
- Vue
- WebAssembly
- XSLT
- ZIL
- Zig
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
ECMAScript Proposal, specs, and reference implementation for Realms
Anonymous voting on Ethereum without a tally authority. Protocol from this paper http://homepages.cs.ncl.ac.uk/feng.hao/files/OpenVote_IET.pdf
A collection of tools for writing technical documents that mix Coq code and prose.
RWOT5 in Boston, Massachusetts (October 2017)
Compartmentalization of host behavior hooks for JS
Simple tool for converting PDF to text using OCR
Manuscript: Canalization of the evolutionary trajectory of the human influenza virus
Information about memorial service for Mandy Klyne
Accounting scripts to create a running balance of Ether or Token accounts via Etherscan API
Mint a [heartwarming] story with a semicolon tattoo as an NFT