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/ropey-iterator
A fork of the ropey UTF-8 ropes library with DoubleEndedIterator over lines
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/ghcide
A library for building Haskell IDE tooling
Avi-D-coder/hash-diff
LCS diff that hashes segments first ideal for line diff
Avi-D-coder/hls-nix
Avi-D-coder/ide
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Avi-D-coder/kitty
A cross-platform, fast, feature full, GPU based terminal emulator
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/psqueues
Priority Search Queues in three different flavors for Haskell
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/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/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