Blaisorblade

Blaisorblade's Stars

• laurent22/joplin

  Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

  Language:TypeScript46.7k4846.7k5.1k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust36.2k992.8k973

• servo/servo

  Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

  Language:Rust28.7k50812.8k3.1k

• microsoft/vcpkg

  C++ Library Manager for Windows, Linux, and MacOS

  Language:CMake23.6k43419.1k6.5k

• Tyrrrz/DiscordChatExporter

  Exports Discord chat logs to a file

  Language:C#7.9k100806721

• JamesIves/github-pages-deploy-action

  🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.

  Language:TypeScript4.3k19286365

• include-what-you-use/include-what-you-use

  A tool for use with clang to analyze #includes in C and C++ source files

  Language:C++4.2k70848389

• bytecodealliance/cranelift

  Cranelift code generator

  2.5k93379201

• FEX-Emu/FEX

  A fast usermode x86 and x86-64 emulator for Arm64 Linux

  Language:C++2.4k41789125

• vmware/differential-datalog

  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

  Language:Java1.4k31417122

• ARM-software/abi-aa

  Application Binary Interface for the Arm® Architecture

  Language:HTML9795691194

• jagracey/Awesome-Unicode

  :joy: :ok_hand: A curated list of delightful Unicode tidbits, packages and resources.

  Language:JavaScript91924666

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq810511813

• actions/deploy-pages

  GitHub Action to publish artifacts to GitHub Pages for deployments

  Language:JavaScript6821711880

• bkryza/clang-uml

  Customizable automatic UML diagram generator for C++ based on Clang.

  Language:C++6321720844

• justincormack/nsenter1

  simple nsenter to namespaces of pid 1

  Language:C5169763

• itanium-cxx-abi/cxx-abi

  C++ ABI Summary

  Language:HTML5099311397

• lukaszcz/coqhammer

  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

  Language:OCaml22089031

• awesomo4000/awesome-provable

  A curated set of links to formal methods involving provable code.

  1981029

• rems-project/sail-arm

  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model

  Language:Isabelle72251518

• xavierleroy/cdf-mech-sem

  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

  Language:Coq64414

• Lapin0t/grothendieck-cern

  Alexander Grothendieck's 1972 talk at CERN, on scientific research

  56404

• meithecatte/busycoq

  Busy Beaver deciders backed by Coq proof

  Language:Coq39606

• Matafou/LibHyps

  A Coq library providing tactics to deal with hypothesis

  Language:Coq203133

• coq-community/metaprogramming-rosetta-stone

  A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]

  Language:Coq177115

• logsem/clutch

  Probabilistic separation logics for verifying higher-order probabilistic programs.

  Language:Coq17704

• Beluga-lang/McLTT

  A bottom-up approach to a verified implementation of MLTT

  Language:Coq154562

• Kristian-Tan/git-worktree-relative

  Bash script to enable git-worktree to use relative path

  Language:Shell11163

• sacerdot/matita

  An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions

  Language:Mathematica6222

• digama0/coq-rs

  A Coq .vo parser in Rust

  Language:Rust220