Name: Austin Seipp
Type: User
Bio: i live 400 miles underground
Twitter: stdlib
Location: Austin, TX
Blog: https://austinseipp.com
The birds have vanished down the sky.
Now the last cloud drains away.
We sit together, the mountain and me,
until only the mountain remains.
Zazen on Ching-t’ing Mountain
afl
american fuzzy lop (copy of the source code for easy access)
aha
Slides for my monthly AHA talks
asc
Austin's supercompiler work
bcachefs-tools
http://bcachefs.org
bf-pypy
A brainfuck JIT using RPython
binary-serialise-cbor
Binary serialisation in the CBOR format
bootstrap.nix
code to bootstrap my nix projects
bors-tests
bsc
Bluespec Compiler (BSC)
buck2
Build system, successor to Buck
buck2-nix
Do not taunt happy fun ball
cabal
Official upstream development repository for Cabal and cabal-install
chainweb-node
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
claap
"An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
clash-compiler
CAES Language for Synchronous Hardware
clash-docs
(EXPERIMENTAL) Sphinx documentation for Clash
clash-playground
A Clash playground/starter kit, using Nix
clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
coq-skeleton
A simple skeleton for Coq projects
cryptol
Cryptol: The Language of Cryptography
cryptol-mode
A Cryptol major mode for Emacs.
cse-ghc-plugin
common subexpression elimination plugin for GHC
dev-randomdotorg
Linux kernel driver interface to random.org, providing an atmosphere-powered random block device
dockerfiles
My personal collection of Dockerfiles
dynasm-example
example of the DynASM library
edwards.cry
edwards curves in cryptol
ekg-core
Library for tracking system metrics
embedding-server
Stateless HTTP service for computing sentence embeddings
enable_arm_pmu
Enable user-mode access to ARMv7/Linux performance counters
eris
Serve your /nix/store directory over the internet :sparkles:
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
