HEIGE-PCloud

HEIGE-PCloud's Stars

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++91.5k1.5k53.6k21.3k

• nektos/act

  Run your GitHub Actions locally 🚀

  Language:Go55.8k1671.2k1.4k

• coollabsio/coolify

  An open-source & self-hostable Heroku / Netlify / Vercel alternative.

  Language:PHP34.9k1132k1.9k

• plotly/dash

  Data Apps & Dashboards for Python. No JavaScript Required.

  Language:Python21.6k4271.8k2.1k

• microsoft/qlib

  Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas to implementing productions. Qlib supports diverse machine learning modeling paradigms. including supervised learning, market dynamics modeling, and RL.

  Language:Python15.6k3019162.7k

• Whisky-App/Whisky

  A modern Wine wrapper for macOS built with SwiftUI

  Language:Swift12.9k48849273

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1815.5k1.5k

• apernet/OpenGFW

  OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

  Language:Go9.8k6870736

• dubzzz/fast-check

  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

  Language:TypeScript4.4k19550182

• google-deepmind/alphageometry

  Language:Python4.2k53125470

• dmjio/miso

  :ramen: A tasty Haskell front-end framework

  Language:Haskell2.2k43330139

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.6k39419342

• enewhuis/liquibook

  Modern C++ order matching engine

  Language:C++1.2k12624385

• emil-e/rapidcheck

  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

  Language:C++1k36177172

• mrkkrp/megaparsec

  Industrial-strength monadic parser combinator library

  Language:Haskell9201435087

• fused-effects/fused-effects

  A fast, flexible, fused effect system for Haskell

  Language:Haskell6472317652

• fjvallarino/monomer

  An easy to use, cross platform, GUI library for writing Haskell applications.

  Language:Haskell5961916243

• digama0/mm0

  Metamath Zero specification language

  Language:Lean318215840

• stepchowfun/proofs

  My personal repository of formally verified mathematics.

  Language:Coq29211212

• leanprover-community/lean4-metaprogramming-book

  Language:Lean22593956

• leanprover-community/lean4game

  Server to host lean games.

  Language:TypeScript198922835

• ImperialCollegeLondon/formalising-mathematics-2024

  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

  Language:Lean1276038

• digama0/lean4lean

  Lean 4 kernel / 'external checker' written in Lean 4

  Language:Lean74616

• OliverKillane/Imperial-Computing-Notes

  A selection of textbook-like course notes for the Imperial College Computing modules.

  Language:TeX621155

• leanprover/tc

  Reference type checker for the Lean theorem prover

  Language:Haskell61867

• xubaiw/Socket.lean

  A toy implementation of socket programming for Lean 4.

  Language:C26149

• j-mie6/gigaparsec

  Refreshed parsec-style library for compatibility with Scala parsley

  Language:Haskell164284

• PatrickMassot/lean4-game-server

  Language:Lean7302

• PatrickMassot/NNG4

  Language:Lean7312

• MMZK1526/Haskell-RM

  Implementation of the Register Machine in Haskell so efficient that it can even simulate the Universal Register Machine!

  Language:Haskell4100