24-day longest streak
-
motivational-interviewing-skill
A motivational interviewing skill for AI agents. Helps work through ambivalence, stuckness, and decisions.
★ 14 1mo agoExplain → -
VagrantHyperV ▣
No description.
Ruby ★ 9 12y agoExplain → -
symex-is-not-quite-all-you-need
Draft paper: extracting formal specs from PL implementations using symbolic execution
TeX ★ 4 3mo agoExplain → -
learnability
No description.
Lean ★ 3 3mo agoExplain → -
lean-otel
No description.
Lean ★ 2 3mo agoExplain → -
wtf_python ▣
No description.
Python ★ 2 12y agoExplain → -
the_stack ▣
No description.
Ruby ★ 2 15y agoExplain → -
angr-nix
Nix flake packaging angr 9.2.204 binary analysis framework
Nix ★ 1 4mo agoExplain → -
mutmut-nix
Nix flake for mutmut, the Python mutation testing tool
Nix ★ 1 4mo agoExplain → -
notes
What I've learned, read, and been up to in more detail than most people care about.
★ 1 9y agoExplain → -
password-dynamo ⑂ ▣
A password generating website
Ruby ★ 1 14y agoExplain → -
vagrant-hyperv ▣
No description.
Ruby ★ 1 13y agoExplain → -
dadabass
No description.
Rust ★ 1 10y agoExplain → -
hapi
If it go down, it stay down.
Python ★ 1 11y agoExplain → -
lean4-nix
No description.
Nix ★ 0 9d agoExplain → -
thundersnap ⑂
Thundering Herd replication and Thanos Snap durability, together at last
★ 0 15d agoExplain → -
letta-code ⑂
Stateful agents that are like people, with memory, identity, and the ability to learn and adapt
★ 0 18d agoExplain → -
mxoq
prototype slug — instruction-LTS viewer + accompanying gist content (heartpunk.github.io/mxoq)
JavaScript ★ 0 2mo agoExplain → -
heartpunk.github.io
No description.
CSS ★ 0 2mo agoExplain → -
mlx-audio ⑂
A text-to-speech (TTS), speech-to-text (STT) and speech-to-speech (STS) library built on Apple's MLX framework, providing efficient speech analysis on Apple Silicon.
★ 0 2mo agoExplain → -
leanCurl ⑂
Lean 4 bindings to libcurl
Lean ★ 0 3mo agoExplain → -
beads ⑂
Beads - A memory upgrade for your coding agent
Go ★ 0 9mo agoExplain → -
lean-egg ⑂
A deprecated equality saturation tactic for Lean based on egg.
Lean ★ 0 3mo agoExplain → -
formalized-papers
Formalized papers in Lean 4
Lean ★ 0 4mo agoExplain → -
claude-code-line-swap-flicker-repro
Automated detection and analysis of the line-swap flicker bug in Claude Code during context compaction
Python ★ 0 4mo agoExplain → -
iris
A terminal multiplexer written in Idris 2
Idris ★ 0 4mo agoExplain → -
stalagmite ⑂
No description.
★ 0 4mo agoExplain → -
k ⑂
K Framework Tools 7.0
Python ★ 0 1y agoExplain → -
opentelemetry-go-instrumentation ⑂
OpenTelemetry Auto Instrumentation using eBPF
C ★ 0 2y agoExplain → -
comunica ⑂
📬 A knowledge graph querying framework for JavaScript
★ 0 3y agoExplain → -
configuration.nix
No description.
Nix ★ 0 4y agoExplain → -
watchman ⑂
Watches files and records, or triggers actions, when they change.
C++ ★ 0 3y agoExplain → -
rubydb
No description.
Ruby ★ 0 4y agoExplain → -
deploy-sourcegraph ⑂
Deploy Sourcegraph to a Kubernetes cluster for large-scale code search and intelligence
★ 0 5y agoExplain → -
langsec-2017-hackathon-code ⑂
No description.
Rust ★ 0 9y agoExplain → -
visit-graph
No description.
★ 0 10y agoExplain → -
keyboard-tracker
No description.
Python ★ 0 10y agoExplain → -
dotspacemacs
No description.
Emacs Lisp ★ 0 10y agoExplain → -
dotzsh
No description.
Shell ★ 0 10y agoExplain → -
mutmut-ascii
No description.
Python ★ 0 6mo agoExplain → -
lean-regex ⑂
No description.
★ 0 6mo agoExplain → -
claude-squad-flake
No description.
Nix ★ 0 1y agoExplain → -
puppet-python ⑂
Puppet module for installing and managing python, pip, virtualenvs and Gunicorn virtual hosts.
Puppet ★ 0 12y agoExplain → -
vagrant-installers ⑂
Project to automatically create Vagrant installers for various platforms.
PowerShell ★ 0 13y agoExplain → -
coding-the-matrix
No description.
Python ★ 0 10y agoExplain → -
riemann-tools ⑂
Programs to submit data to Riemann
Ruby ★ 0 11y agoExplain → -
notebook
For when {je,ha}kyll are just too much.
Python ★ 0 10y agoExplain → -
book ⑂
The Rust Programming Language
HTML ★ 0 10y agoExplain → -
interview_cake
No description.
Python ★ 0 10y agoExplain → -
python_examples ⑂
Some python examples and references.
Python ★ 0 10y agoExplain → -
socialadmin
No description.
★ 0 10y agoExplain → -
arrow-of-time
Why does time have a direction?
Elm ★ 0 10y agoExplain → -
boggler
A (nearly) zero-copy boggle solver in Rust.
Rust ★ 0 10y agoExplain → -
rust-examples
No description.
★ 0 10y agoExplain → -
rust_radix_trie ⑂
Fast generic radix trie implementation in Rust.
Rust ★ 0 11y agoExplain → -
misc
No description.
HTML ★ 0 10y agoExplain → -
dotemacs
No description.
Emacs Lisp ★ 0 10y agoExplain → -
lfs-vagrant
No description.
Shell ★ 0 11y agoExplain → -
dotatom
No description.
C ★ 0 11y agoExplain → -
riemann-mongodb ⑂
Monitors MongoDB for Riemann
Ruby ★ 0 11y agoExplain → -
friction
No description.
JavaScript ★ 0 11y agoExplain → -
Blackjack
No description.
Ruby ★ 0 13y agoExplain → -
rails ⑂
Ruby on Rails
Ruby ★ 0 13y agoExplain → -
bundler-audit ⑂
Patch-level verification for Bundler
Ruby ★ 0 11y agoExplain → -
dotkarabiner
No description.
★ 0 11y agoExplain → -
seven-langs
No description.
Puppet ★ 0 11y agoExplain → -
gt-cs6250 ⑂
Project Code for Computer Networking
★ 0 11y agoExplain → -
www.gittip.com ⑂
Gittip is a platform for sustainable crowd-funding.
Python ★ 0 13y agoExplain → -
redex.clj
No description.
Clojure ★ 0 12y agoExplain → -
puppet-masterless-packer
Puppet, Ubuntu, Packer
★ 0 11y agoExplain → -
wepl
a node based repl
JavaScript ★ 0 14y agoExplain → -
dotvim
No description.
VimL ★ 0 12y agoExplain → -
dotgit
No description.
★ 0 12y agoExplain → -
public-dotfiles
public dotfiles
Shell ★ 0 12y agoExplain → -
python-riemann-client ⑂
A Riemann client and command line tool
★ 0 12y agoExplain → -
python-firebase ⑂
Python interface to the Firebase's REST API
Python ★ 0 12y agoExplain → -
LawDB
A bunch of laws, and some tools for fetching/formatting them.
★ 0 13y agoExplain → -
vocab_list
No description.
Ruby ★ 0 13y agoExplain → -
vagrant-kafka ⑂
Vagrant config to setup a partitioned Apache Kafka installation with clustered Apache Zookeeper
★ 0 12y agoExplain → -
reporter_watcher
Watches for reporter updates, tells beeminder about them.
JavaScript ★ 0 12y agoExplain → -
JSgame
No description.
JavaScript ★ 0 12y agoExplain → -
write
No description.
Ruby ★ 0 13y agoExplain → -
rails-box
A vagrant box setup I made with some defaults I (at least once upon a time) like(d) for production.
Ruby ★ 0 13y agoExplain → -
human_services_finder ⑂
Find human services, farmers markets, and other community organizations in San Mateo County
Ruby ★ 0 13y agoExplain → -
apters
No description.
Haskell ★ 0 15y agoExplain → -
datastructures.rb
No description.
Ruby ★ 0 13y agoExplain → -
automata
No description.
Clojure ★ 0 12y agoExplain → -
errant
No description.
★ 0 13y agoExplain → -
skeem
This is an implementation of a subset scheme R6RS.
Clojure ★ 0 13y agoExplain → -
datastructures.rs
No description.
Rust ★ 0 12y agoExplain → -
algorithms.rs
No description.
Rust ★ 0 12y agoExplain → -
SmoothingKernels.jl ⑂
Smoothing kernels for use in kernel regression and kernel density estimation
Julia ★ 0 12y agoExplain → -
kNN.jl ⑂
The k-nearest neighbors algorithm in Julia
Julia ★ 0 12y agoExplain → -
silly.rb
_why-ish descriptions of things based on questions i have been asked.
Ruby ★ 0 13y agoExplain → -
public-writing
No description.
★ 0 14y agoExplain → -
julia_playground
No description.
★ 0 12y agoExplain → -
bashodoro
a small shell script to replace your bloated gui pomodoro app.
★ 0 14y agoExplain → -
gargoyle
No description.
Ruby ★ 0 12y agoExplain → -
datastructures.c
No description.
C ★ 0 13y agoExplain → -
redex
Simple redex thingy in ruby.
Ruby ★ 0 13y agoExplain → -
julia_in_a_box
No description.
★ 0 13y agoExplain → -
how_does_language_work
No description.
JavaScript ★ 0 13y agoExplain → -
despair
No description.
JavaScript ★ 0 13y agoExplain → -
write_some
No description.
Ruby ★ 0 12y agoExplain → -
rubygems.org ⑂
The Ruby community's gem hosting service.
Ruby ★ 0 13y agoExplain → -
euler
project euler code
Ruby ★ 0 15y agoExplain → -
apt-cacher-box
No description.
Ruby ★ 0 13y agoExplain → -
reflect
No description.
★ 0 14y agoExplain → -
hooky
No description.
Ruby ★ 0 13y agoExplain → -
apters-web
No description.
Haskell ★ 0 15y agoExplain → -
toot_analyzer
No description.
Ruby ★ 0 13y agoExplain → -
xv6
No description.
C ★ 0 13y agoExplain → -
rhok_seattle_north ⑂
No description.
JavaScript ★ 0 15y agoExplain → -
jello
a programming language, one that is like jello.
Haskell ★ 0 14y agoExplain → -
homebrew ⑂
The missing package manager for OS X.
Ruby ★ 0 13y agoExplain → -
octanalysis
No description.
Ruby ★ 0 13y agoExplain → -
OpenMario ⑂
No description.
C# ★ 0 13y agoExplain → -
shoes4 ⑂
Shoes 4 : the next version of Shoes
Ruby ★ 0 13y agoExplain → -
booktrader ⑂
Schools making the move to digital books will be able to hand over their old textbooks to schools that are under-funded, and need them. This is a hackathon app!
JavaScript ★ 0 13y agoExplain → -
plato ⑂
App for persisting and analysing site traffic data
Erlang ★ 0 14y agoExplain →
No repos match these filters.
More creators on gitmyhub
sindresorhus bradtraversy JakeWharton lucidrains rafaballerini