Pinned Repositories
coc-rust-analyzer
You should use https://github.com/fannheyward/coc-rust-analyzer
fira-mono-italic
zwaldowski's italics rebased with Mozilla master with manual width corrections
FiraCode-italic
An italic variant of FiraCode
fzf-wordnet.vim
Terminal/Vim dictionary/completion powered by fzf and wordnet
implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
implicit-hie-cradle
Auto generate stack or cabal multi component hie-bios Cradles, used by HLS and ghcide.
lsp-diff-server
WIP: Sits between an LSP client and server splitting big changes into smaller granular changes.
sundial-gc
WIP: my Tweag open source fellowship project
sundial-gc-design
type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
kairos-trie
Avi-D-coder's Repositories
Avi-D-coder/implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
Avi-D-coder/fzf-wordnet.vim
Terminal/Vim dictionary/completion powered by fzf and wordnet
Avi-D-coder/implicit-hie-cradle
Auto generate stack or cabal multi component hie-bios Cradles, used by HLS and ghcide.
Avi-D-coder/concise_thoughts
My Blog's source. Made with hugo
Avi-D-coder/Avi-D-coder.github.io
Avi-D-coder/bevy_rapier
Official Rapier plugin for the Bevy game engine.
Avi-D-coder/cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Avi-D-coder/cozo-docs
Documentations and tutorials for CozoDB
Avi-D-coder/cr10v3-th3d-config
Avi-D-coder/dance
Make your cursors dance with Kakoune-like editing in VS Code.
Avi-D-coder/faiss-nix-flake
nix flaked: A library for efficient similarity search and clustering of dense vectors.
Avi-D-coder/fastwebsockets
A fast RFC6455 WebSocket implementation
Avi-D-coder/llvm-valida-releases
Public releases for the Valida compiler toolchain
Avi-D-coder/mumble-nix-flake-macos
The mumble client for arm macos buildable with nix
Avi-D-coder/NeoSolarized.nvim
NeoSolarized colorscheme for NeoVim with full transparency
Avi-D-coder/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
Avi-D-coder/nvim-treesitter-context
Show code context
Avi-D-coder/opus-rs
Safe Rust bindings for libopus
Avi-D-coder/psqueues
Priority Search Queues in three different flavors for Haskell
Avi-D-coder/replace-type-in-place
A rust library for safe in place type changes, useful for zero copy deserialization (WIP)
Avi-D-coder/rust-rocksdb-nix-template
Avi-D-coder/rust-zsh-completions
zsh completions generated by rustup
Avi-D-coder/simple-http-server
Simple http server in Rust (Windows/Mac/Linux)
Avi-D-coder/sp1-project-template
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Avi-D-coder/tiny-ram-halo2
A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
Avi-D-coder/unlimiformer
Public repo for the preprint "Unlimiformer: Long-Range Transformers with Unlimited Length Input"
Avi-D-coder/vim-bufkill
Git repo for http://www.vim.org/scripts/script.php?script_id=1147
Avi-D-coder/vim-illuminate
illuminate.vim - (Neo)Vim plugin for automatically highlighting other uses of the word under the cursor using either LSP, Tree-sitter, or regex matching.
Avi-D-coder/whisper-cpp-stream-nix-flake
whisper.cpp's stream example nixed
Avi-D-coder/whisper-rs
Rust bindings to https://github.com/ggerganov/whisper.cpp