Pinned Repositories
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
mathlib4
The math library of Lean 4
dl-webapp-sources
download original source code from JavaScript bundle/chunk URLs
instant_apply
proof-of-concept of Cursor's Instant Apply feature
interactive-inlay.nvim
PROOF-OF-CONCEPT DO NOT USE
ml-papers
toy implementations of whatever papers / products I happen to be looking at
neotest-foundry
Foundry's Solidity test runner integrated into Neovim via Neotest
nvim-js-actions
`nvim-treesitter`-based actions on JavaScript code
vscode-glspc
LSP client for any LSP server (provider for auto-complete, lint, hover, etc)
neovim
Vim-fork focused on extensibility and usability
llllvvuu's Repositories
llllvvuu/vscode-glspc
LSP client for any LSP server (provider for auto-complete, lint, hover, etc)
llllvvuu/instant_apply
proof-of-concept of Cursor's Instant Apply feature
llllvvuu/asdf-foundry
Pin, manage, and switch between multiple versions of Foundry (toolchain for Solidity)
llllvvuu/llllvvuu.github.io
llllvvuu/mlx_parallm
Fast parallel LLM inference for MLX
llllvvuu/zed-extension-graphql
GraphQL support for Zed editor
llllvvuu/ml-papers
toy implementations of whatever papers / products I happen to be looking at
llllvvuu/subsquid-drizzle-store
DrizzleORM backend for the Subsquid EVM indexer
llllvvuu/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
llllvvuu/chat-ui
Open source codebase powering the HuggingChat app
llllvvuu/dotfiles
llllvvuu/eza
A modern, maintained replacement for ls
llllvvuu/Fixit
Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.
llllvvuu/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
llllvvuu/gql.tada
🪄 Magical GraphQL query engine for TypeScript
llllvvuu/graphql-code-generator
A tool for generating code based on a GraphQL schema and GraphQL operations (query/mutation/subscription), with flexible support for custom plugins.
llllvvuu/lean4
Lean 4 programming language and theorem prover
llllvvuu/log_to_eval_prototype
toy example
llllvvuu/mlx-examples
Examples in the MLX framework
llllvvuu/nvim-cmp
A completion plugin for neovim coded in Lua.
llllvvuu/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
llllvvuu/schedule
Schedule module for Nest framework (node.js) ⏰
llllvvuu/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
llllvvuu/tsc-watch
The TypeScript compiler with --watch and a new onSuccess argument
llllvvuu/turbo
Incremental bundler and build system optimized for JavaScript and TypeScript, written in Rust – including Turbopack and Turborepo.
llllvvuu/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
llllvvuu/typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
llllvvuu/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
llllvvuu/web
llllvvuu/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.