vtec234 Goto Github PK

backlight

The Relativistic Raytracer

blog-gen

Static site generator used for my website at https://voidma.in/

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

computecpp-sdk

Collection of samples, documentation and utilities for using ComputeCpp, Codeplay's beta SYCL implementation

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

crossbeam

Support for parallelism and low-level concurrency in Rust

crossbeam-epoch

Epoch-based garbage collection

crossbeam-stm

Software Transactional Memory using crossbeam-epoch for memory reclamation.

crossbeam-utils

Utilities for concurrent programming

cryptol

Cryptol: The Language of Cryptography

emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

firecat

format

Various files formats support for Haxe

lamr

Logic and Mechanized Reasoning

lean

Lean Theorem Prover

lean-crypto

Cryptographic routines for the Lean 4 language

lean-sat

lean-sesh

Session types in Lean

lean-smt

Tactics for discharging Lean goals into SMT solvers.

lean4

Lean4 work in progress repo

lean4-bits

Experiments in Lean 4. Buggy. Don't use.

lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

lean4-infoview

leancolls

WIP collections library for Lean 4

lftcm2020

Lean for the Curious Mathematician 2020

lists-rs

Concurrent data structures in Rust

logrel-mltt

A Logical Relation for Martin-Löf Type Theory in Agda

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap

lsp-mode

Emacs client/library for the Language Server Protocol

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.