abizjak

free-programming-books

:books: Freely available programming books

engineering-blogs

A curated list of engineering blogs

HVM

A massively parallel, optimal functional runtime in Rust

case-studies

Analysis of various tricky Rust code

datatype99

Algebraic data types for C99

sage

Main repository of SageMath

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.

ts-rs

Generate TypeScript bindings from Rust types

cargo-modules

Visualize/analyze a Rust crate's internal structure

magmide

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

schemars

Generate JSON Schema documents from Rust code

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

cap-std

Capability-oriented version of the Rust standard library

object

A unified interface for reading and writing object file formats

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.

Memory-Cache

MemoryCache is an experimental development project to turn a local desktop environment into an on-device AI agent

VST

Verified Software Toolchain

hifitime

A high fidelity time management library in Rust

ConCert

A framework for smart contract verification in Coq

EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

grpc-docs

aneris

Program logic for developing and verifying distributed systems

concordium-dapp-starter

Starter template for DApp projects for the Concordium blockchain.

iris-tutorial

ucbenik-logika-in-mnozice

Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani