alevy
I once saw the Duomo in Milan at 2am. The pictures don't do it justice. It was rad.
@princeton-sns @tock @mostlytyped @memcachierPrinceton, NJ
Pinned Repositories
coypond
Semantic grep for Ruby code
donut
A robust distributed hashtable based on Chord
hash-fs
Filesystem with a Hashtable backend
jsss
JavaScript Shamir Secret Sharing
postgresql-orm
An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL.
simple
A minimal Haskell web-framework based on the WAI web server interface.
faasten
memjs
A memcache client for node using the binary protocol and SASL authentication
hails
The security-centric web platform framework
tock
A secure embedded operating system for microcontrollers
alevy's Repositories
alevy/postgresql-orm
An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL.
alevy/simple
A minimal Haskell web-framework based on the WAI web server interface.
alevy/deplorable
alevy/tock-raspi
Port of Tock to the Raspberry Pi
alevy/allora
alevy/calmerge
alevy/crlf
Consistent Replication Lightweight Framework
alevy/probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
alevy/alevy.github.io
Website
alevy/cellardoor
alevy/emacs-from-scratch
An example of a fully custom Emacs configuration developed live on YouTube!
alevy/encapfn-tock
alevy/example-java-dynamic-loadpath
alevy/frida-test-app-rust
alevy/google-fn-pipeline-example
alevy/home-assistant-core
:house_with_garden: Open source home automation that puts local control and privacy first.
alevy/home-manager
Manage a user environment using Nix [maintainer=@rycee]
alevy/initme
Experiments with a monolithic init daemon
alevy/labeled
alevy/mc-hs
Haskell Memcache Client
alevy/nix-doom-emacs
doom-emacs packaged for Nix [maintainers=@ckiee,@thiagokokada]
alevy/nixpkgs
Nix Packages collection
alevy/oltpbench
Database Benchmarking Framework
alevy/secretphoto
secretphoto
alevy/serverless-benchmarks
SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
alevy/serverless-faas-workbench
FunctionBench
alevy/test-cloudlab-profile
alevy/tock
A secure embedded operating system for Cortex-M based microcontrollers
alevy/wasmtest
alevy/wawesome
Tools for parsing and (eventually) interpreting and analyzing WebAssembly