Amit Levy (alevy)

alevy

Geek Repo

Company:@princeton-sns @tock @mostlytyped @memcachier

Location:Princeton, NJ

Home Page:http://www.amitlevy.com

Github PK Tool:Github PK Tool


Organizations
cos316-f22
helena-project
memcachier
scslab
tock

Amit Levy's repositories

postgresql-orm

An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL.

Language:HaskellLicense:GPL-3.0Stargazers:78Issues:6Issues:15

simple

A minimal Haskell web-framework based on the WAI web server interface.

Language:RustLicense:GPL-3.0Stargazers:2Issues:4Issues:0
Language:RustStargazers:1Issues:3Issues:0
Language:PythonStargazers:1Issues:3Issues:0

crlf

Consistent Replication Lightweight Framework

Language:RustLicense:MITStargazers:1Issues:0Issues:0

aarch64-build-box

Config for the Community aarch64 NixOS box [maintainer=@grahamc]

Language:NixStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0
Language:NixStargazers:0Issues:0Issues:0

emacs-from-scratch

An example of a fully custom Emacs configuration developed live on YouTube!

Language:Emacs LispStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:0Issues:1Issues:0

initme

Experiments with a monolithic init daemon

Language:RustStargazers:0Issues:3Issues:0
Language:RustLicense:MITStargazers:0Issues:2Issues:1

mc-hs

Haskell Memcache Client

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

nix-doom-emacs

doom-emacs packaged for Nix [maintainers=@ckiee,@thiagokokada]

Language:NixLicense:MITStargazers:0Issues:1Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

oltpbench

Database Benchmarking Framework

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

progit2

Pro Git 2nd Edition

Language:CSSLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:3Issues:0

secretphoto

secretphoto

Language:PythonStargazers:0Issues:0Issues:0

serverless-benchmarks

SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0

tock

A secure embedded operating system for Cortex-M based microcontrollers

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:AssemblyStargazers:0Issues:3Issues:0
Language:RustStargazers:0Issues:0Issues:0

wawesome

Tools for parsing and (eventually) interpreting and analyzing WebAssembly

Language:RustLicense:MITStargazers:0Issues:0Issues:0