Pinned Repositories
cockroach
CockroachDB - the open source, cloud-native distributed SQL database.
central
Edward Tufte-esque Hugo theme
cerebrum
Artificial Neural Networks (ANN's) in Ruby (unmaintained, unfortunately)
cfilter
Cuckoo Filter implementation in Go, better than Bloom Filters (unmaintained)
irfansharif.github.io
Notes on system design for young(er) bloods. https://irfansharif.io/blog/
raft.tla
TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
solver
SAT solver library in Go; wraps around Google's Operational Research Tools
kura
An end-to-end encrypted, synchronized, global file system in Go (unmaintained)
modal-client
Python client library for Modal
modal-examples
Examples of programs built using Modal
irfansharif's Repositories
irfansharif/cerebrum
Artificial Neural Networks (ANN's) in Ruby (unmaintained, unfortunately)
irfansharif/solver
SAT solver library in Go; wraps around Google's Operational Research Tools
irfansharif/central
Edward Tufte-esque Hugo theme
irfansharif/irfansharif.github.io
Notes on system design for young(er) bloods. https://irfansharif.io/blog/
irfansharif/liveness
irfansharif/vim-crlfmt
Vim plugin for cockroachdb/crlfmt
irfansharif/cockroach
A Scalable, Survivable, Strongly-Consistent SQL Database
irfansharif/dotfiles
@irfansharif's configs
irfansharif/ollama-modal
irfansharif/runner
Library to precisely measure on-CPU time for goroutines
irfansharif/allocator
irfansharif/aws-sdk-go
AWS SDK for the Go programming language.
irfansharif/bors-ng
👁 A merge bot for GitHub Pull Requests
irfansharif/cockroach-go
Packages for go clients.
irfansharif/dev
A utility for performing common CockroachDB development tasks
irfansharif/etcd
Distributed reliable key-value store for the most critical data of a distributed system
irfansharif/go
The Go programming language
irfansharif/golinks
Another Google-like Go short link service
irfansharif/gpt-fast
Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.
irfansharif/grpc-go
Re-implemention of grpc/grpc-go, the Go language implementation of gRPC (HTTP/2 based RPC)
irfansharif/jepsen
Call Me Maybe: simulating network partitions in DBs
irfansharif/pebble
RocksDB/LevelDB inspired key-value database in Go
irfansharif/probe
irfansharif/pytest-datadriven
Pytest plugin that externalizes expected outputs to text files
irfansharif/recorder
Record operations and then replay from them; an ergonomic way to mock out pretty much anything.
irfansharif/remoteexec
irfansharif/resume
@irfansharif's resume (forked from treyhunner)
irfansharif/test-repo
Bazel experiments
irfansharif/utils
irfansharif/vim-zettel
VimWiki addon for managing notes according to Zettelkasten method