qucker135

qucker135's Stars

• massgravel/Microsoft-Activation-Scripts

  Open-source Windows and Office activator featuring HWID, Ohook, TSforge, KMS38, and Online KMS activation methods, along with advanced troubleshooting.

  Language:Batchfile126k1.2k59312.3k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python76.2k9241.2k6.6k

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python30.7k1811.6k2.1k

• catchorg/Catch2

  A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

  Language:C++19.2k4421.9k3.1k

• asciinema/asciinema

  Terminal session recorder 📹

  Language:Rust14.8k281346932

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.8k1805.6k1.5k

• Farama-Foundation/Gymnasium

  An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

  Language:Python8.6k52505960

• google/latexify_py

  A library to generate LaTeX expression from Python code.

  Language:Python7.4k5685393

• remzi-arpacidusseau/ostep-projects

  Projects for an undergraduate OS course

  Language:C4.7k76201.3k

• nix-community/awesome-nix

  😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

  3.8k7034164

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.7k1371.8k918

• jaspervdj/patat

  Terminal-based presentations using Pandoc

  Language:Haskell2.5k357862

• STMicroelectronics/STM32CubeF4

  STM32Cube MCU Full Package for the STM32F4 series - (HAL + LL Drivers, CMSIS Core, CMSIS Device, MW libraries plus a set of Projects running on all boards provided by ST (Nucleo, Evaluation and Discovery Kits))

  Language:C97670150438

• rust-osdev/bootimage

  Tool to create bootable disk images from a Rust OS kernel.

  Language:Rust796165666

• fcampelo/EC-Bestiary

  A bestiary of evolutionary, swarm and other metaphor-based algorithms

  Language:TeX6263817466

• Digilent/digilent-xdc

  A collection of Master XDC files for Digilent FPGA and Zynq boards.

  Language:Tcl5623517575

• minyoungg/platonic-rep

  Language:Python506111034

• zchee/cuda-sample

  CUDA official sample codes

  Language:C++363152178

• RamanujanMachine/RamanujanMachine

  Language:Python334261378

• RTimothyEdwards/qflow

  Qflow full end-to-end digital synthesis flow for ASIC designs

  Language:C202154736

• openai/lean-gym

  Language:Lean18291134

• Dakkers/OpenCL-examples

  basic examples of OpenCL with the C++ API

  Language:C17410263

• joewalnes/tinytest

  A tiny unit-testing framework for C

  Language:C17112521

• j991222/ai4math-papers

  AI for Mathematics (AI4Math) paper list

  1527211

• davidar/subleq

  CPU design and toolchain for a simple computer architecture

  Language:JavaScript11613015

• tsoding/jim

  Immediate Mode JSON Serialization Library in C

  Language:C99287

• q3k/zturn-stuff

  Various files for the MYiR ZTurn Zynq 7010 board

  Language:HTML9021539

• mariuz/linux-0.01

  compilable linux-0.01

  Language:C766632

• sdatko/zaskroniec

  The Python programming language, but with Polish flavor

  Language:Python18011

• szandala/flutter_todo

  Language:C++1201