abizjak's Stars
EbookFoundation/free-programming-books
:books: Freely available programming books
kilimchoi/engineering-blogs
A curated list of engineering blogs
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
dtolnay/case-studies
Analysis of various tricky Rust code
hirrolot/datatype99
Algebraic data types for C99
sagemath/sage
Main repository of SageMath
Endava/cats
CATS is a REST API Fuzzer and negative testing tool for OpenAPI endpoints. CATS automatically generates, runs and reports tests with minimum configuration and no coding effort. Tests are self-healing and do not require maintenance.
Aleph-Alpha/ts-rs
Generate TypeScript bindings from Rust types
regexident/cargo-modules
Visualize/analyze a Rust crate's internal structure
gimli-rs/gimli
A library for reading and writing the DWARF debugging format
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
GREsau/schemars
Generate JSON Schema documents from Rust code
dalek-cryptography/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
gimli-rs/object
A unified interface for reading and writing object file formats
bytecodealliance/cap-std
Capability-oriented version of the Rust standard library
senny/emacs-eclim
This project brings some of the great eclipse features to emacs developers. It is based on the eclim project, which provides eclipse features for vim.
Mozilla-Ocho/Memory-Cache
MemoryCache is an experimental development project to turn a local desktop environment into an on-device AI agent
PrincetonUniversity/VST
Verified Software Toolchain
RalfJung/cargo-careful
Execute Rust code carefully, with extra checking along the way
nyx-space/hifitime
A high fidelity time management library in Rust
AU-COBRA/ConCert
A framework for smart contract verification in Coq
HoTT/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
andrejbauer/alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
gendocu-com/grpc-docs
logsem/aneris
Program logic for developing and verifying distributed systems
Concordium/concordium-dapp-starter
Starter template for DApp projects for the Concordium blockchain.
logsem/iris-tutorial
andrejbauer/ucbenik-logika-in-mnozice
Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani