Avi-D-coder
Follow
-
llvm-valida-releases Public
Forked from lita-xyz/valida-releasesPublic releases for the Valida compiler toolchain
UpdatedNov 11, 2024 -
fastwebsockets Public
Forked from denoland/fastwebsocketsA fast RFC6455 WebSocket implementation
Rust Apache License 2.0 UpdatedOct 9, 2024 -
opus-rs Public
Forked from SpaceManiac/opus-rsSafe Rust bindings for libopus
Rust Apache License 2.0 UpdatedOct 6, 2024 -
sp1-project-template Public template
Forked from succinctlabs/sp1-project-templateTemplate for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Rust MIT License UpdatedSep 17, 2024 -
-
vim-illuminate Public
Forked from RRethy/vim-illuminateilluminate.vim - (Neo)Vim plugin for automatically highlighting other uses of the word under the cursor using either LSP, Tree-sitter, or regex matching.
Lua UpdatedJul 30, 2024 -
replace-type-in-place Public
A rust library for safe in place type changes, useful for zero copy deserialization (WIP)
Rust UpdatedJul 29, 2024 -
NeoSolarized.nvim Public
Forked from Tsuzat/NeoSolarized.nvimNeoSolarized colorscheme for NeoVim with full transparency
Lua Apache License 2.0 UpdatedMay 21, 2024 -
mumble-nix-flake-macos Public
The mumble client for arm macos buildable with nix
Nix UpdatedMay 19, 2024 -
-
implicit-hie Public
Auto generate a stack or cabal multi component hie.yaml file
-
nvim-treesitter-context Public
Forked from nvim-treesitter/nvim-treesitter-contextShow code context
Lua MIT License UpdatedAug 14, 2023 -
psqueues Public
Forked from jaspervdj/psqueuesPriority Search Queues in three different flavors for Haskell
Haskell Other UpdatedMay 16, 2023 -
cozo Public
Forked from cozodb/cozoA transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Rust Mozilla Public License 2.0 UpdatedMay 12, 2023 -
implicit-hie-cradle Public
Auto generate stack or cabal multi component hie-bios Cradles, used by HLS and ghcide.
-
unlimiformer Public
Forked from abertsch72/unlimiformerPublic repo for the preprint "Unlimiformer: Long-Range Transformers with Unlimited Length Input"
Python MIT License UpdatedMay 3, 2023 -
cozo-docs Public
Forked from cozodb/cozo-docsDocumentations and tutorials for CozoDB
Jupyter Notebook Creative Commons Attribution Share Alike 4.0 International UpdatedApr 24, 2023 -
whisper-cpp-stream-nix-flake Public
whisper.cpp's stream example nixed
Nix MIT License UpdatedMar 21, 2023 -
faiss-nix-flake Public
Forked from facebookresearch/faissnix flaked: A library for efficient similarity search and clustering of dense vectors.
C++ MIT License UpdatedMar 9, 2023 -
-
whisper-rs Public
Forked from tazz4843/whisper-rsRust bindings to https://github.com/ggerganov/whisper.cpp
Rust The Unlicense UpdatedDec 29, 2022 -
-
bevy_rapier Public
Forked from dimforge/bevy_rapierOfficial Rapier plugin for the Bevy game engine.
Rust Apache License 2.0 UpdatedNov 16, 2022 -
tiny-ram-halo2 Public
Forked from Orbis-Tertius/tiny-ram-halo2A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
Rust Apache License 2.0 UpdatedNov 14, 2022 -
nvim-lspconfig Public
Forked from neovim/nvim-lspconfigQuickstart configurations for the Nvim LSP client
Lua Other UpdatedNov 4, 2021 -
vim-bufkill Public
Forked from qpkorr/vim-bufkillGit repo for http://www.vim.org/scripts/script.php?script_id=1147
Vim Script UpdatedOct 22, 2021 -
-
-
Make your cursors dance with Kakoune-like editing in VS Code.
TypeScript ISC License UpdatedAug 22, 2021 -
fzf-wordnet.vim Public
Terminal/Vim dictionary/completion powered by fzf and wordnet