abentkamp
Follow
-
-
-
monaco-languageclient Public
Forked from TypeFox/monaco-languageclientRepo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples
TypeScript MIT License UpdatedJul 22, 2024 -
-
esbuild-import-meta-url-plugin Public
Forked from CodinGame/esbuild-import-meta-url-pluginEsbuild plugin that allows to run the `new URL(..., import.meta.url)` syntax
TypeScript UpdatedJun 25, 2024 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedFeb 9, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedNov 15, 2023 -
-
zipperposition Public
Forked from sneeuwballen/zipperpositionAn automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting
OCaml BSD 2-Clause "Simplified" License UpdatedSep 30, 2023 -
lean-auto Public
Forked from leanprover-community/lean-autoExperiments in automation for Lean
Lean Apache License 2.0 UpdatedSep 29, 2023 -
-
-
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedOct 24, 2022 -
mathlib3port Public
Forked from leanprover-community/mathlib3portStub for downloading mathport artifacts for mathlib3
Lean UpdatedSep 9, 2022 -
-
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedJun 9, 2021 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedMay 28, 2021 -
nav2d Public
Forked from frapa/nav2d2d navigation meshes with pathfinding and funneling
JavaScript MIT License UpdatedDec 13, 2020 -
visibility-graph Public
Forked from rowanwins/visibility-graphVisibility graph implementation to support shortest path calculations such as dijkstra or a-star
JavaScript MIT License UpdatedSep 19, 2020 -
-
vscode-lean Public
Forked from leanprover/vscode-leanAn extension for VS Code which provides support for the Lean language.
TypeScript Apache License 2.0 UpdatedFeb 20, 2020 -
sidekick Public
Forked from c-cube/sidekick[wip] A modular library for CDCL(T) SMT solvers, with proof generation.
SMT Apache License 2.0 UpdatedSep 4, 2019 -
crash Public
Forked from TuurDutoit/crashBundles RBush and SAT.js for easy 2D collisions
JavaScript MIT License UpdatedJul 8, 2018 -
theorem_proving_in_lean Public
Forked from leanprover/theorem_proving_in_leanTheorem proving in Lean
Python Apache License 2.0 UpdatedMay 11, 2018 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
Error-Pypagation Public
python script to calculate physical quantities from data including units and uncertainty propagation
Python Other UpdatedMay 2, 2016 -
report Public
Forked from EllaVator/reportFinal report for the software project
TeX UpdatedJan 20, 2016 -
sympy Public
Forked from sympy/sympyA computer algebra system written in pure Python
Python Other UpdatedNov 16, 2015