MackieLoeffel/coq-opam-archive
Archive for all Coq related OPAM packages organized in various repositories
Repositories
MackieLoeffel/mathlib4
The math library of Lean 4
MackieLoeffel/lean4
Lean 4 programming language and theorem prover
MackieLoeffel/coq-record-update
Library to create Coq record update functions
MackieLoeffel/avr-vm
VM with JIT-compiler for ATMega32 written in Rust
MackieLoeffel/coq-sail
Coq support library for Sail instruction set models
MackieLoeffel/iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
MackieLoeffel/coq-performance-tests
A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]
MackieLoeffel/sail-riscv
Sail RISC-V model
MackieLoeffel/sail
Sail architecture definition language
MackieLoeffel/company-coq
A Coq IDE build on top of Proof General's Coq mode
MackieLoeffel/c-simplifier
Simplify C source code directories for given root functions
MackieLoeffel/iris-project
MackieLoeffel/rusty-jvm
An experiment to create a JVM in Rust
MackieLoeffel/atom-auto-fold
Atom package for folding
MackieLoeffel/chashmap
Fork of https://gitlab.redox-os.org/redox-os/chashmap
MackieLoeffel/xrl
Xi Rpc Lib - Tokio based implementation of the Xi editor RPC
MackieLoeffel/xi-editor
A modern editor with a backend written in Rust.
MackieLoeffel/sandboxed-api
Sandboxed API automatically generates sandboxes for C/C++ libraries
MackieLoeffel/parking_lot
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
MackieLoeffel/jemalloc
MackieLoeffel/jemallocator
Rust allocator using jemalloc as a backend
MackieLoeffel/libz-sys
Cargo package to link to a system libz (zlib)
MackieLoeffel/rust-libpng-sys
Build script to get libpng compile on Windows. It's horrible. Stay away.
MackieLoeffel/criterion.rs
Statistics-driven benchmarking library for Rust
MackieLoeffel/rust-os
An exploration of rust for operating system development
MackieLoeffel/rust-slabmalloc
Simple malloc implementation.
MackieLoeffel/weltfairsteher
website for a project by CHANGE e.V.
MackieLoeffel/org-java
Org mode files Java parser
MackieLoeffel/orgzly-documentation
Orgzly documentation