DieracDelta

MIT '19 BS + Meng. Yale PHD student. I like math. PGP fingerprint: 2565 7B91 AD2D 02C6 1B7F 9819 E682 81EB 2ABC E9B8

New Haven, CT

Pinned Repositories

asm-lsp
lsp + tree sitter grammar for riscv asm (and eventually all asm)
Language:Rust3 3 02
DAWN
DAWN (Debug Adapter with Nix)
Language:Rust13 3 31
deepfry
Language:Python2 3 00
DuckeeGO
Concolic Exection Engine for Golang
Language:Go7 6 03
flake_generator
Generate Nix Flakes imperatively.
Language:Rust20 5 82
flakes
Language:Nix22 3 01
nix-btm
Language:Rust2 2 100
NixKernelTutorial
Language:Nix9 3 12
vimconf_talk
accompanying repo to vimconf talk
Language:Nix19 6 03
vimconfig
My Vim Config
Language:Lua12 3 46

DieracDelta's Repositories

DieracDelta/flakes
Language:Nix22 3 01
DieracDelta/flake_generator
Generate Nix Flakes imperatively.
Language:Rust20 5 82
DieracDelta/DAWN
DAWN (Debug Adapter with Nix)
Language:Rust13 3 31
DieracDelta/vimconfig
My Vim Config
Language:Lua12 3 46
DieracDelta/asm-lsp
lsp + tree sitter grammar for riscv asm (and eventually all asm)
Language:Rust3 3 02
DieracDelta/nix-btm
Language:Rust2 2 100
DieracDelta/clarinet
Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
Language:Rust1 1 0
DieracDelta/codeium.nvim
A native neovim extension for Codeium
Language:Lua1 1 0
DieracDelta/hacspec-v2
Language:OCaml1 1 0
DieracDelta/the-algorithm
Source code for Twitter's Recommendation Algorithm
Language:Scala1 1 0
DieracDelta/DieracDelta.github.io
Language:CSS0 3 01
DieracDelta/AeroSpace
AeroSpace is an i3-like tiling window manager for macOS
Language:Swift0 0
DieracDelta/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
Language:Rust0 0
DieracDelta/c2rust
Migrate C code to Rust
Language:Rust0 0
DieracDelta/D5_action
Language:Rust
DieracDelta/debug-adapter-protocol
Defines a common protocol for debug adapters.
Language:HTML1 0
DieracDelta/dotfiles
Language:Nix0 0
DieracDelta/flake
A Nix flake for many AI projects
Language:Nix0 0
DieracDelta/hibp-python-downloader
Both Java and Python program for downloader exists at @ptechofficial
DieracDelta/ML_coding_assngment
Language:Rust2 0
DieracDelta/nix
Nix, the purely functional package manager
Language:C++2 0
DieracDelta/nix-otel
Nix OpenTelemetry sender plugin
Language:Rust1 0
DieracDelta/nixpkgs
Nix Packages collection
Language:Nix2 0
DieracDelta/nyxt_configs
my nyxt configuration files
2 0
DieracDelta/presentations
Language:Typst1 0
DieracDelta/really-save-nix-together
an open letter to the open letter to the NixOS foundation
Language:CSS0 0
DieracDelta/survey-ML-seminar
Language:Typst2 0
DieracDelta/tui-rs-tree-widget
Tree Widget for tui-rs
Language:Rust0 0
DieracDelta/tutorial
2 0
DieracDelta/typst-theorems
An implementation of numbered theorem environments in typst