-
vscode Public
Forked from microsoft/vscodeVisual Studio Code
TypeScript MIT License UpdatedJun 11, 2021 -
emscripten Public
Forked from emscripten-core/emscriptenEmscripten: An LLVM-to-WebAssembly Compiler
C Other UpdatedJun 10, 2021 -
-
Solaar Public
Forked from pwr-Solaar/SolaarLinux device manager for Logitech devices
Python GNU General Public License v2.0 UpdatedOct 24, 2020 -
sat-examples Public
Forked from marijnheule/sat-examplesSimple examples of using SAT solvers
C UpdatedSep 18, 2020 -
lsp-mode Public
Forked from emacs-lsp/lsp-modeEmacs client/library for the Language Server Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedAug 8, 2020 -
lftcm2020 Public
Forked from leanprover-community/lftcm2020Lean for the Curious Mathematician 2020
Lean UpdatedJul 17, 2020 -
logrel-mltt Public
Forked from mr-ohman/logrel-mlttA Logical Relation for Martin-Löf Type Theory in Agda
Agda MIT License UpdatedJun 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 UpdatedMay 24, 2020 -
mathlib-tools Public
Forked from leanprover-community/mathlib-toolsDevelopment tools for https://github.com/leanprover-community/mathlib
Python Apache License 2.0 UpdatedApr 6, 2020 -
lean Public
Forked from leanprover-community/leanLean Theorem Prover
C++ Apache License 2.0 UpdatedMar 22, 2020 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
OCaml Other UpdatedJan 15, 2020 -
format Public
Forked from HaxeFoundation/formatVarious files formats support for Haxe
Haxe UpdatedSep 3, 2019 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedAug 20, 2019 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedJul 18, 2019 -
-
openage Public
Forked from TheJJ/openageFree (as in freedom) open source clone of the Age of Empires II engine.
-
mypwndock Public
Forked from Grazfather/mypwndockMy customized docker image used for binary exploitation and RE
Dockerfile UpdatedOct 27, 2018 -
crossbeam Public
Forked from crossbeam-rs/crossbeamSupport for parallelism and low-level concurrency in Rust
Rust Apache License 2.0 UpdatedOct 24, 2018 -
tpil-solutions Public
My solutions to exercises in "Theorem Proving in Lean"
-
theorem_proving_in_lean Public
Forked from leanprover/theorem_proving_in_leanTheorem proving in Lean
Python Apache License 2.0 UpdatedOct 23, 2018 -
computecpp-sdk Public
Forked from codeplaysoftware/computecpp-sdkCollection of samples, documentation and utilities for using ComputeCpp, Codeplay's beta SYCL implementation
C++ Other UpdatedAug 13, 2018 -
-
-
crossbeam-stm Public
Forked from k3d3/crossbeam-arccellSoftware Transactional Memory using crossbeam-epoch for memory reclamation.
Rust UpdatedMay 12, 2018 -
-
crossbeam-epoch Public
Forked from crossbeam-rs/crossbeam-epochEpoch-based garbage collection
Rust Apache License 2.0 UpdatedJan 4, 2018 -
crossbeam-utils Public
Forked from crossbeam-rs/crossbeam-utilsUtilities for concurrent programming
Rust Apache License 2.0 UpdatedDec 12, 2017 -
-
{{ message }}