nickmertin

nickmertin's Stars

• mit-plv/riscv-coq

  RISC-V Specification in Coq

  Language:Coq10917

• mit-plv/bedrock2

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

  Language:Coq29745

• jwiegley/category-theory

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

  Language:Coq75069

• rust-lang/rust-analyzer

  A Rust compiler front-end for IDEs

  Language:Rust14.2k1.6k

• stm32-rs/stm32g0xx-hal

  Peripheral access API for STM32G0 series microcontrollers

  Language:Rust7451

• stm32-rs/stm32-rs

  Embedded Rust device crates for STM32 microcontrollers

  Language:Python1.3k221

• krudie/IDES

  Integrated Discrete-Event Systems Software

  Language:Java121

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python69.7k6.2k

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k349

• fishinabarrel/linux-kernel-module-rust

  Framework for writing Linux kernel modules in safe Rust

  Language:Rust1.3k119

• gnif/vendor-reset

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

  Language:C75661

• purduesigbots/BLRS-Wiki

  BLRS Gitbook Wiki

  Language:Shell2728

• 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:HTML61

• purduesigbots/pros

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

  Language:C26376

• angel-dart/angel

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

  Language:Dart1.1k67

• google/filament

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

  Language:C++17.8k1.9k

• 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.2k8.6k

• adamschackart/AXLE3D

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

  Language:C201

• github/gitignore

  A collection of useful .gitignore templates

  162k83.1k

• philipl/pifs

  πfs - the data-free filesystem!

  Language:C6.7k291

• python/cpython

  The Python programming language

  Language:Python63.3k30.3k

• node-schedule/node-schedule

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

  Language:JavaScript9.1k513

• libuv/libuv

  Cross-platform asynchronous I/O

  Language:C24.2k3.6k

• 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.8k886

• FRC1360/Steamworks2017

  Language:Java42

• gelstudios/gitfiti

  abusing github commit history for the lulz

  Language:Python8.1k1.1k