-
coins Public
Forked from tannerduve/coinsLean implementation and proof of correctness of a dynamic programming algorithm to solve the Bytelandian gold coin problem.
Lean UpdatedNov 9, 2024 -
meta-hacker-cup-solver Public
2024 entry for the open-source AI track of the Meta Hacker Cup coding contest
C++ UpdatedOct 19, 2024 -
mlx-examples Public
Forked from ml-explore/mlx-examplesExamples in the MLX framework
Python MIT License UpdatedOct 9, 2024 -
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 25, 2024 -
ml-papers Public
toy implementations of whatever papers / products I happen to be looking at
Python UpdatedAug 29, 2024 -
instant_apply Public
proof-of-concept of Cursor's Instant Apply feature
-
chat-ui Public
Forked from huggingface/chat-uiOpen source codebase powering the HuggingChat app
TypeScript Apache License 2.0 UpdatedAug 25, 2024 -
transformers Public
Forked from huggingface/transformers🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Python Apache License 2.0 UpdatedAug 18, 2024 -
mlx_parallm Public
Forked from willccbb/mlx_parallmFast parallel LLM inference for MLX
-
-
vscode-glspc Public
LSP client for any LSP server (provider for auto-complete, lint, hover, etc)
-
asdf-foundry Public
Pin, manage, and switch between multiple versions of Foundry (toolchain for Solidity)
-
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 28, 2024 -
Fixit Public
Forked from Instagram/FixitAdvanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.
Python Other UpdatedJun 28, 2024 -
nvim-cmp Public
Forked from hrsh7th/nvim-cmpA completion plugin for neovim coded in Lua.
-
-
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedJun 5, 2024 -
eza Public
Forked from eza-community/ezaA modern, maintained replacement for ls
Rust MIT License UpdatedApr 24, 2024 -
gql.tada Public
Forked from 0no-co/gql.tada🪄 Magical GraphQL query engine for TypeScript
TypeScript MIT License UpdatedApr 17, 2024 -
schedule Public
Forked from nestjs/scheduleSchedule module for Nest framework (node.js) ⏰
TypeScript MIT License UpdatedApr 15, 2024 -
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Rust Apache License 2.0 UpdatedApr 9, 2024 -
tsc-watch Public
Forked from gilamran/tsc-watchThe TypeScript compiler with --watch and a new onSuccess argument
TypeScript MIT License UpdatedMar 27, 2024 -
subsquid-drizzle-store Public
DrizzleORM backend for the Subsquid EVM indexer
TypeScript UpdatedMar 24, 2024 -
turbo Public
Forked from vercel/turborepoIncremental bundler and build system optimized for JavaScript and TypeScript, written in Rust – including Turbopack and Turborepo.
Rust Mozilla Public License 2.0 UpdatedMar 21, 2024 -
TypeScript Public
Forked from microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript Apache License 2.0 UpdatedMar 21, 2024 -
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndblueprint for prime number theorem and more
Lean Apache License 2.0 UpdatedMar 20, 2024 -
typescript-eslint Public
Forked from typescript-eslint/typescript-eslint✨ Monorepo for all the tooling which enables ESLint to support TypeScript
TypeScript Other UpdatedMar 19, 2024 -
zed Public
Forked from zed-industries/zedCode at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Rust Other UpdatedMar 7, 2024 -
zed-extension-graphql Public
Forked from 11bit/zed-extension-graphqlGraphQL support for Zed editor
{{ message }}