Amit Levy
alevy
I once saw the Duomo in Milan at 2am. The pictures don't do it justice. It was rad.
Languages
Top Repositories
An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL.
A minimal Haskell web-framework based on the WAI web server interface.
JavaScript Shamir Secret Sharing
A robust distributed hashtable based on Chord
Comet: An Extensible Distributed Key-Value Store
Repositories
146Website
A secure embedded operating system for Cortex-M based microcontrollers
Nix Packages collection
Bazaar app for setting agendas for a regularly occurring meeting
No description provided.
:house_with_garden: Open source home automation that puts local control and privacy first.
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
Manage a user environment using Nix [maintainer=@rycee]
A comparison of operating systems written in Rust
Xv6 for RISC-V
A safe, concurrent, practical language.
Manticore is a research operating system, written in Rust.
An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL.
No description provided.
Port of Tock to the Raspberry Pi
No description provided.
No description provided.
Consistent Replication Lightweight Framework
A robust distributed hashtable based on Chord
Config for the Community aarch64 NixOS box [maintainer=@grahamc]
Tools for parsing and (eventually) interpreting and analyzing WebAssembly
A minimal Haskell web-framework based on the WAI web server interface.
JavaScript Shamir Secret Sharing
DIFC Labels Library for Rust
doom-emacs packaged for Nix [maintainers=@ckiee,@thiagokokada]
secretphoto
Comet: An Extensible Distributed Key-Value Store
FunctionBench
SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
No description provided.