Name: Justin Restivo
Type: User
Bio: MIT '19 BS + Meng. Yale PHD student. I like math. PGP fingerprint: 2565 7B91 AD2D 02C6 1B7F 9819 E682 81EB 2ABC E9B8
Location: Boston, MA
Blog: justin.restivo.me
I'm a PHD student at Yale.
[]
advent-of-code-2018
advent-of-code-2019
advent-of-code-2020
advent-of-code-2021
advent-of-code-2022
algebra_notes
alienfx
Control AlienFX lighting on Alienware Aurora computers running Linux
alienfx_15r3
c library for control of LEDs for alienware 15 r3
artin-proofs
asm-lsp
lsp + tree sitter grammar for riscv asm (and eventually all asm)
ast
fork supporint id
bap
Binary Analysis Platform
beaverdocs
blog
brainfuck
Brainfuck interpreter in Haskell
cargo-llvm-cov
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
cbat_tools
Program analysis tools developed at Draper on the CBAT project.
clarinet
Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
codeium.nvim
A native neovim extension for Codeium
cookie-to-auth
Transform cookies into an Authorization header for Hasura
dawn
DAWN (Debug Adapter with Nix)
debug-adapter-protocol
Defines a common protocol for debug adapters.
deepfry
detypstify
dieracdelta.github.io
doom_dotfiles
dream2nix
A generic framework for 2nix tools [maintainer=@DavHau]
duckastutil
fork supporing id
duckeego
Concolic Exection Engine for Golang
ferrix
wip rust p2p nix binary cache
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
