-
pygit2 Public
Forked from libgit2/pygit2Python bindings for libgit2
Python Other UpdatedFeb 7, 2025 -
UPWARD-for-Playdate Public
Forked from DanB91/UPWARD-for-PlaydatePort of Matthias Falk's Upward to Playdate
Zig GNU General Public License v3.0 UpdatedSep 17, 2023 -
-
-
-
-
mathlib-semantic-search Public
Forked from zhangir-azerbayev/mathlib-semantic-searchPython MIT License UpdatedFeb 23, 2023 -
sqlglot Public
Forked from tobymao/sqlglotPython SQL Parser and Transpiler
Python MIT License UpdatedFeb 15, 2023 -
virtual-dom Public
Forked from Matt-Esch/virtual-domA Virtual DOM and diffing algorithm
JavaScript MIT License UpdatedFeb 2, 2023 -
lean4 Public
Forked from leanprover/lean4Lean4 work in progress repo
Lean Apache License 2.0 UpdatedFeb 2, 2023 -
-
-
katex-react Public
Fork of KaTeX that uses React and Typescript instead.
-
SciLean Public
Forked from lecopivo/SciLeanScientific computing in Lean 4
Lean Apache License 2.0 UpdatedNov 14, 2022 -
hardest Public
Forked from fiveai/hardestThe HARDness ESTimation package: A library for ranking images from a dataset by hardness with respect to a specific detector.
Python Other UpdatedOct 24, 2022 -
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedAug 31, 2022 -
lean4-samples Public
Forked from leanprover-community/lean4-samplesCode samples for Lean 4
-
doc-gen Public
Forked from leanprover-community/doc-genGenerate HTML documentation for mathlib and Lean
Python Apache License 2.0 UpdatedAug 2, 2022 -
lean-chat-vscode Public
Forked from zhangir-azerbayev/lean-chat-vscodeTypeScript UpdatedJun 29, 2022 -
KaTeX Public
Forked from KaTeX/KaTeXFast math typesetting for the web.
JavaScript MIT License UpdatedJun 27, 2022 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedJun 22, 2022 -
lean4-metaprogramming-book Public
Forked from leanprover-community/lean4-metaprogramming-bookLean Apache License 2.0 UpdatedJun 1, 2022 -
lake Public
Forked from leanprover/lakeLean 4 build system and package manager with configuration files written in Lean.
Lean Apache License 2.0 UpdatedMay 19, 2022 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4TypeScript Apache License 2.0 UpdatedApr 18, 2022 -
mmdetection3d Public
Forked from open-mmlab/mmdetection3dOpenMMLab's next-generation platform for general 3D object detection.
Python Apache License 2.0 UpdatedMar 9, 2022 -
lean-humanproof-thesis Public
Implementation of HumanProof system from https://www.edayers.com/thesis
-
transformer-tensorflow Public
Forked from lilianweng/transformer-tensorflowImplementation of Transformer Model in Tensorflow
Python UpdatedMay 21, 2021 -
gnome-shell-extensions-negesti Public
Forked from negesti/gnome-shell-extensions-negestiAn gnome-shell extension that makes window movement a lot easier.
JavaScript GNU General Public License v3.0 UpdatedApr 8, 2021 -
vscode-icons Public
Forked from microsoft/vscode-iconsIcons for Visual Studio Code
Creative Commons Attribution 4.0 International UpdatedMar 8, 2021 -
vscode-lean Public
Forked from leanprover/vscode-leanAn extension for VS Code which provides support for the Lean language.
TypeScript Apache License 2.0 UpdatedJan 3, 2021
{{ message }}