- Austin, TX
Lists (23)
Sort Name ascending (A-Z)
BEAM
blockchain
consensus, crdt, sync
Cool data structures, algorithms
cryptography
edu
fun
hackerish
hardware, robotics
homelab
lambda, coc, fp
Lean
local-first
p2p (data structures, dbs)
p2p (networking)
PrettyStuff
sqlite
(unused) 1
(unused) 2
urbit
Utils
WASM
zig
- All languages
- Agda
- ApacheConf
- AppleScript
- Arduino
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Forth
- G-code
- GAP
- GLSL
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- MQL4
- Makefile
- Markdown
- Mathematica
- Metal
- Mustache
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Opa
- OpenSCAD
- PHP
- PLSQL
- Perl
- Prolog
- Pug
- Python
- R
- RPC
- Raku
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
- hoon
Starred repositories
Source code for the X Recommendation Algorithm
A fault tolerant, protocol-agnostic RPC system
TextTeaser is an automatic summarization algorithm.
The Berkeley Document Summarizer is a learning-based, single-document summarization system that extracts source document content, exploits syntactic information to compress it, and uses coreference…
APALACHE: symbolic model checker for TLA+ and Quint
Chat example app using Server Sent Events plus REST calls. Scala, Play Framework 2.3, AngularJS or React (alternatively).
The examples for the book "Reactive Messaging Patterns with the Actor Model"
Powerful, joyful building blocks for modern cloud-native applications.
*Experimental* GraphChi-DB graph database with computational capabilities
A reactive Play2 application to store ripple wallets, backed by MongoDB.