MateCheck-rar

MateCheck-rar's Stars

• electron/electron

  :electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

  Language:C++114k2.8k20.2k15.4k

• fish-shell/fish-shell

  The user-friendly command line shell.

  Language:Rust26.1k2827.2k1.9k

• NVlabs/instant-ngp

  Instant neural graphics primitives: lightning fast NeRF and more

  Language:Cuda16k2041k1.9k

• darlinghq/darling

  Darwin/macOS emulation layer for Linux

  Language:Objective-C11.5k2411.2k445

• bellard/quickjs

  Public repository of the QuickJS Javascript Engine.

  Language:C8.4k151273880

• ericchiang/pup

  Parsing HTML at the command line

  Language:HTML8.1k89148255

• Stellarium/stellarium

  Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.

  Language:C++7.7k1462.1k820

• ArthurSonzogni/FTXUI

  :computer: C++ Functional Terminal User Interface. :heart:

  Language:C++6.9k67349413

• cplusplus/draft

  C++ standards drafts

  Language:TeX5.7k4123k748

• coq/coq

  Coq 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 development of machine-checked proofs.

  Language:OCaml4.8k10310.1k646

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k641.9k416

• root-project/root

  The official repository for ROOT: analyzing, storing and visualizing big data, scientifically

  Language:C++2.7k1222.3k1.3k

• seanbaxter/circle

  The compiler is available for download. Get it!

  Language:C++2.4k7419972

• darglein/ADOP

  Language:C++2k8890199

• cryinkfly/Autodesk-Fusion-360-for-Linux

  This is a project, where I give you a way to use Autodesk Fusion 360 on Linux!

  Language:Shell2k36382123

• DTolm/VkFFT

  Vulkan/CUDA/HIP/OpenCL/Level Zero/Metal Fast Fourier Transform library

  Language:C++1.5k3414492

• jbyuki/instant.nvim

  collaborative editing in Neovim using built-in capabilities

  Language:Lua1.3k162325

• turtle0x1/LxdMosaic

  Web interface to manage multiple instance of lxd

  Language:PHP5891838261

• ddovod/jet-live

  c++ hot code reload for linux and macos

  Language:C++411232223

• Julian/lean.nvim

  Neovim support for the Lean theorem prover

  Language:Lua277717726

• ThePhD/embed

  Forward, no matter what.

  Language:C++1211059

• nlguillemot/ProgrammablePulling

  Programmable pulling experiments (based on OpenGL Insights "Programmable Vertex Pulling" article by Daniel Rakos)

  Language:C++111426

• ghdl/ghdl-language-server

  Language server based on ghdl

  Language:NewLisp9211418

• pouyakary/Nota

  A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering

  Language:Haskell55231

• seawarrior181/PasswordPump_II

  Version 2 of the PasswordPump, for the ItsyBitsy M0 & ItsyBitsy M4.

  Language:Python51101416

• leanprover-community/mathport

  Mathport is a tool for porting Lean3 projects to Lean4

  Language:Lean4188515

• Jman420/llvm_for_android

  LLVM Build Scripts for Android

  Language:Shell172

• benvallack/The-Card

  16101

• dselsam/lean-python-bindings

  Python Bindings to the Lean Theorem Prover http://leanprover.github.io/

  Language:Python133

• boberfly/dawn

  Google Dawn/WebGPU fork

  Language:C++12302