Lists (15)
C
The C programming language.35 repositories
Csound
One of the best known and longest established programs in the field of audio programming.2 repositories
Dafny
Dafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier.1 repository
F*
F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming.2 repositories
Git
A distributed version control system.10 repositories
Go
An open-source programming language supported by Google.18 repositories
Hare
Hare is a systems programming language designed to be simple, stable, and robust.1 repository
Haskell
An advanced, purely functional programming language.12 repositories
HOL
A family of interactive theorem proving systems using similar higher-order logics.1 repository
Lean
A functional programming language and interactive theorem prover.180 repositories
Metamath
A computer language for mathematical proofs.19 repositories
OCaml
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.8 repositories
RISC-V
RISC-V is an open standard Instruction Set Architecture (ISA) enabling a new era of processor innovation through open collaboration.3 repositories
Rocq (Coq)
A formal proof management system.40 repositories
Rust
A language empowering everyone to build reliable and efficient software.48 repositories
Starred repositories
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
Code from the paper / Declarative GUIs: Simple, Consistent, and Verified
A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.
A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West.
Repository hosting the open-source Nu Game Engine and related projects.
delight1019 / tpil-solutions
Forked from chabulhwi/tpil-solutionsMy solutions to the exercises in "Theorem Proving in Lean 4"
Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.
Programming language for literate programming law specification
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
GPU & Accelerator process monitoring for AMD, Apple, Huawei, Intel, NVIDIA and Qualcomm
computable implementation of real numbers in Lean4
3D-Graphics-Rendering-Cookbook, Second Edition
Naproche formalization of real analysis, based on Walter Rudin’s Principles of Mathematical Analysis
Markdown makes sites - A Static Site Generator for Blogs
Vesktop is a custom Discord App aiming to give you better performance and improve linux support
This collection of samples demonstrates best practices to achieve optimal video quality and performance on Intel GPUs for content delivery networks. Check out our demo, recommended command lines an…