- 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
- 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
- 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 code-searching tool similar to ack, but faster.
Distribute and run LLMs with a single file.
UNIX-like reverse engineering framework and command-line toolset
Open-source vector similarity search for Postgres
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
xoreaxeaxeax / movfuscator
Forked from Battelle/movfuscatorThe single instruction C compiler
Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.liber…
React Native module for CodePush
A text editor in less than 1000 LOC with syntax highlight and search.
AdAway is a free and open source ad blocker for Android.
Ultra-lightweight JavaScript engine for the Internet of Things.
A customisable 3D platform for agent-based AI research
SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
A vector search SQLite extension that runs anywhere!
A DevTools proxy (Chrome Remote Debugging Protocol) for iOS devices (Safari Remote Web Inspector).
WebAssembly Micro Runtime (WAMR)
An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.
Low-level unprivileged sandboxing tool used by Flatpak and similar projects