nickmertin

nickmertin's Stars

• github/gitignore

  A collection of useful .gitignore templates

  164k3.4k083.1k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python73.8k9101.2k6.5k

• python/cpython

  The Python programming language

  Language:Python64.7k1.5k70.7k30.8k

• libuv/libuv

  Cross-platform asynchronous I/O

  Language:C24.6k7251.8k3.6k

• google/filament

  Filament is a real-time physically based rendering engine for Android, iOS, Windows, Linux, macOS, and WebGL2

  Language:C++18k3822.3k1.9k

• rust-lang/rust-analyzer

  A Rust compiler front-end for IDEs

  Language:Rust14.5k958.2k1.6k

• node-schedule/node-schedule

  A cron-like and not-cron-like job scheduler for Node.

  Language:JavaScript9.2k111477514

• gelstudios/gitfiti

  abusing github commit history for the lulz

  Language:Python8.1k91491.1k

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k119757349

• philipl/pifs

  πfs - the data-free filesystem!

  Language:C6.7k19465291

• cglib/cglib

  cglib - Byte Code Generation Library is high level API to generate and transform Java byte code. It is used by AOP, testing, data access frameworks to generate dynamic proxy objects and intercept field access.

  Language:Java4.8k250125887

• stm32-rs/stm32-rs

  Embedded Rust device crates for STM32 microcontrollers

  Language:Python1.4k26263227

• fishinabarrel/linux-kernel-module-rust

  Framework for writing Linux kernel modules in safe Rust

  Language:Rust1.3k6696120

• AliceWonderland/hacktoberfest

  Participate in Hacktoberfest by contributing to any Open Source project on GitHub! Here is a starter project for first time contributors. #hacktoberfest

  Language:HTML1.2k241438.5k

• angel-dart/angel

  [ARCHIVED] A polished, production-ready backend framework in Dart for the VM, AOT, and Flutter.

  Language:Dart1.1k4527067

• gnif/vendor-reset

  Linux kernel vendor specific hardware reset module for sequences that are too complex/complicated to land in pci_quirks.c

  Language:C786317672

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq761201972

• mit-plv/bedrock2

  A work-in-progress language and compiler for verified low-level programming

  Language:Coq3001510745

• purduesigbots/pros

  Source code for PROS kernel: open source C/C++ development for the VEX V5 microcontroller

  Language:C2743125078

• mit-plv/riscv-coq

  RISC-V Specification in Coq

  Language:Coq111151217

• stm32-rs/stm32g0xx-hal

  Peripheral access API for STM32G0 series microcontrollers

  Language:Rust77123951

• purduesigbots/BLRS-Wiki

  BLRS Gitbook Wiki

  Language:Shell26121428

• adamschackart/AXLE3D

  A modular collection of game libraries for Python and/or C++.

  Language:C202461

• krudie/IDES

  Integrated Discrete-Event Systems Software

  Language:Java12621

• QueensEngineeringSociety/engsoc-dash

  A central place that engineering students at Queen's University can come to manage various different aspects of their life as a student. :collision: :feet:

  Language:HTML6601

• FRC1360/Steamworks2017

  Language:Java41702