- Austin, TX
Lists (21)
Sort Name ascending (A-Z)
consensus, crdt, sync
Cool data structures, algorithms
Crypto algos, libs
edu
fun
hackerish
hardware
homelab
htmz
lambda, coc, fp
Lean
local-first
P2P Data structures, DBs
P2P Networking
PrettyStuff
Sol
sqlite
urbit
Utils
WASM
Zig
- All languages
- Agda
- ApacheConf
- AppleScript
- Arduino
- Assembly
- Batchfile
- C
- C#
- C++
- 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
- Mustache
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Opa
- OpenSCAD
- PHP
- 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
A text editor in less than 1000 LOC with syntax highlight and search.
A vector search SQLite extension that runs anywhere!
A network library for client/server games written in C++
A lightweight, secure, easy-to-use crypto library suitable for constrained environments.
A Wasm environment for cross-platform, sandboxed graphical applications.
P2P DNS with content key, crypto key and PKI support. DynDNS alternative.
Looking inside the (Drop) box. Security Analysis of Dropbox. Updated WOOT '13 paper and other goodies.
A SQLite extension for generating text embeddings from GGUF models using llama.cpp
Experimental tree-sitter parser for the Lean (4) Theorem Prover
RaymiiOrg / viless
Forked from brentr/vilessTiny vi text editor clone with enough features to be truly useful