CyanoKobalamyne

CyanoKobalamyne's Stars

• viraptor/reverse-interview

  Questions to ask the company during your interview

  27.8k349252.1k

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust23.4k95255378

• python/mypy

  Optional static typing for Python

  Language:Python18.7k24110.8k2.9k

• abseil/abseil-cpp

  Abseil Common Libraries (C++)

  Language:C++15.2k5938842.7k

• H-M-H/Weylus

  Use your tablet as graphic tablet/touch screen on your computer.

  Language:Rust7.2k54273283

• verilator/verilator

  Verilator open-source SystemVerilog simulator and lint system

  Language:C++2.6k733.6k627

• mypyc/mypyc

  Compile type annotated Python to fast C extensions

  1.8k4263346

• aws/aws-fpga

  Official repository of the AWS EC2 FPGA Hardware and Software Development Kit

  Language:VHDL1.5k229176518

• B-Lang-org/bsc

  Bluespec Compiler (BSC)

  Language:Haskell96248316148

• ejoffe/spr

  Stacked Pull Requests on GitHub

  Language:Go854417372

• StanfordLegion/legion

  The Legion Parallel Programming System

  Language:C++697361.6k145

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq677452786

• coq-community/coq-tricks

  Tricks you wish the Coq manual told you [maintainer=@tchajed]

  Language:Coq507251622

• ben-marshall/awesome-open-hardware-verification

  A List of Free and Open Source Hardware Verification Tools and Frameworks

  50043548

• lowRISC/style-guides

  lowRISC Style Guides

  3827134123

• mit-plv/bedrock2

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

  Language:Coq3001510645

• sheerun/dotfiles

  Dotfiles meet chocolate and unicorns

  Language:Shell21117122

• badaix/popl

  Header-only C++ program options parser library

  Language:C++1699732

• cambridgehackers/connectal

  Connectal is a framework for software-driven hardware development.

  Language:Bluespec162326346

• BosqueLanguage/BosqueCore

  Language:TypeScript1566295

• mit-plv/koika

  A core language for rule-based hardware design 🦑

  Language:Coq146242011

• stanford-centaur/smt-switch

  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

  Language:C++11995645

• coq-community/coq-art

  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

  Language:Coq1157522

• TheMITTech/shakespeare

  The Complete Works of William Shakespeare hosted at http://shakespeare.mit.edu/

  Language:HTML3213019

• sipb/courseroad2

  A 4-year academic planner for the MIT community.

  Language:JavaScript2342305

• SwarmArch/chronos

  The Chronos FPGA Framework to accelerate ordered applications

  Language:SystemVerilog22408

• venkatesh-sivaraman/fireroad-server

  A central location for student-developed planning tools to access MIT course and requirements data.

  Language:Python173263

• tchajed/coq-tactical

  Library of Coq proof automation

  Language:Coq15512

• charliemj/noo

  Language:HTML1200

• M1Hackers/fruits

  FRUITS: Revolutionary Universal International Trip-planning Service — a project for HackDartmouth 2019

  Language:Ruby1300