Blaisorblade

Blaisorblade's Stars

• kdeldycke/awesome-falsehood

  😱 Falsehoods Programmers Believe in

  25.1k37730583

• atuinsh/atuin

  ✨ Magical shell history

  Language:Rust22k68903583

• Mortennn/Dozer

  Hide menu bar icons on macOS

  Language:Swift8.3k53174266

• OpenXiangShan/XiangShan

  Open-source high-performance RISC-V processor

  Language:Scala5.8k93452718

• munificent/vigil

  Vigil, the eternal morally vigilant programming language

  Language:Python2.9k762861

• intel/pcm

  Intel® Performance Counter Monitor (Intel® PCM)

  Language:C++2.9k91306480

• ocaml/dune

  A composable build system for OCaml.

  Language:OCaml1.7k403.1k412

• cplusplus/papers

  ISO/IEC JTC1 SC22 WG21 paper scheduling and management

  Language:Perl6921332.2k18

• expressvpn/lightway-core

  Lightway Core is a modern VPN protocol by ExpressVPN, to deliver a VPN experience that’s faster, more secure, and more reliable.

  Language:C542162064

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean53033428

• ocaml-multicore/effects-examples

  Examples to illustrate the use of algebraic effects in Multicore OCaml

  Language:OCaml42315935

• LPCIC/coq-elpi

  Coq plugin embedding elpi

  Language:OCaml141918853

• inQWIRE/SQIR

  A Small Quantum Intermediate Representation

  Language:Coq8181424

• ejgallego/pycoq

  Python bindings for the Coq interactive proof assistant

  Language:OCaml514274

• paolobrasolin/krater

  Template to effortlessly build math-rich websites

  Language:HTML395100

• Blaisorblade/dot-iris

  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

  Language:HTML305461

• coq-community/coq-program-verification-template

  Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]

  Language:Coq30322

• arthuraa/deriving

  Class instances for Coq inductive types with little boilerplate

  Language:Coq243159

• julesjacobs/cgraphs

  Deadlock freedom by type checking

  Language:Coq19522

• math-comp/tutorial_material

  proof script associated to tutorial material

  Language:Coq17911

• uds-psl/autosubst2

  Official repository of the Autosubst 2 project.

  Language:Haskell17645

• cplusplus/nbballot

  Handling of NB comments in response to ballots

  14195804

• uds-psl/autosubst-ocaml

  Language:Coq134510

• pingerino/eurosys18

  Manifests for eurosys 2018 benchmarks

  7301

• facebookresearch/shack

  A shack for hacklang design

  Language:Coq6100

• Franciman/ellipse

  Sketching as a programming language

  Language:Haskell3200

• scaup/fae-gtlc-mu

  Language:Coq31

• aisamanra/robigalia-rust-sel4

  Language:Rust11

• mietek/icfp-contest-2009

  ICFP Programming Contest 2009 entry

  Language:Haskell180

• ppedrot/vodump

  A basic tool to dump Coq object files

  Language:OCaml130