Cleverking2003

Cleverking2003's Stars

• qiskit-community/qiskit-community-tutorials

  A collection of Jupyter notebooks developed by the community showing how to use Qiskit

  Language:Jupyter Notebook703511

• Muha0644/kadaif

  HoI4 Modding Tool That Does It All! Now with a QT based GUI, all your work wil be easier!

  Language:C++31

• HEPLean/HepLean

  A project to digitalise results from high energy physics into Lean.

  Language:Lean462

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean19137

• LadybirdBrowser/ladybird

  Truly independent web browser

  Language:C++19.5k788

• black-parrot/black-parrot

  A Linux-capable RISC-V multicore for and by the world

  Language:SystemVerilog597179

• cl91/NeptuneOS

  Neptune OS: A Windows NT personality for the seL4 microkernel

  Language:C37011

• Cleverking2003/IntCube

  Language:C++11

• ezEngine/ezEngine

  An open source C++ game engine.

  Language:C++1.3k174

• kolibrios-nextgen/kolibrios-nextgen

  KolibriOS-NG monorepository

  Language:C162

• ravynsoft/ravynos

  A BSD-based OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.

  Language:C5.6k183

• Atmosphere-NX/Atmosphere

  Atmosphère is a work-in-progress customized firmware for the Nintendo Switch.

  Language:C++14.3k1.2k

• opstic/gdclone

  An alternative Geometry Dash client built using Bevy

  Language:Rust685

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k390

• practical-tutorials/project-based-learning

  Curated list of project-based tutorials

  197k25.7k

• geode-sdk/geode

  The ultimate Geometry Dash modding framework

  Language:C++690122

• lakor64/supernovax

  Open-source DirectX Graphics Infrastructure reimplementation

  Language:C5

• hsutter/cppfront

  A personal experimental C++ Syntax 2 -> Syntax 1 compiler

  Language:C++5.4k236

• evantandersen/fpga-gpu

  A basic GPU for altera FPGAs

  Language:Verilog6213

• ReactOS-Longhorn-Initiative/reactos

  A free Windows-compatible Operating System

  Language:C275

• RPCSX/rpcsx

  Language:C++1.2k58

• olofk/serv

  SERV - The SErial RISC-V CPU

  Language:Verilog1.4k178

• wheremyfoodat/Panda3DS

  HLE 3DS emulator

  Language:C++88161

• nba-emu/NanoBoyAdvance

  A cycle-accurate Nintendo Game Boy Advance emulator.

  Language:C++97154

• birth-software/birth

  Birth is the operating system which gives its name to the project. Currently on hold waiting for the Nat compiler to be ready.

  Language:Zig252

• MIPSfpga/schoolMIPS

  CPU microarchitecture, step by step

  Language:Verilog19263

• kolibrios-nextgen/kolibrios-kernel

  An attempt to give the KolibriOS project a second wind with separated kernel repository

  Language:Assembly101

• minetest/minetest

  Minetest is an open source voxel game-creation platform with easy modding and game creation

  Language:C++10.6k2k

• clayfreeman/browser-debug-utils

  A collection of command-line utilities to aid in debugging browser engines.

  Language:PHP8

• ucb-bar/riscv-sodor

  educational microarchitectures for risc-v isa

  Language:Scala672153