oeb25

smtlib-rs

A high-level API for interacting with SMT solvers.

cdm

Algorithms and data structures for Computational Discrete Mathematics

abeye

🐝 OpenAPI client generator

binswap

Bundle binary fetching and updating directly into you distributed binaries!

cargo-readme

Generate README.md from docstrings

excourser

Visual graph of courses on DTU

idk

Tools for uncertainty and learning

mist

Mist: Userfriendly verification language

ayu-colors-rs

The ayu color scheme as a color palette ported to Rust

dm.bvng.dk

Tools for discrete mathematics

documentation

Armbian Linux Documentation

dtu-thesis-pandoc-template

A template for the DTU Compute LaTeX template, but translated to Pandoc

go-fish

hi-si-icons-preact

Heroicons + Simple Icons for Preact

hyperpolyglot

A fast programming language detector

msc-thesis

num_enum

oeb25.github.io

queueue

react-typescript-tailwind-parcel

React / TypeScript / Tailwind / Parcel Starter

riport

rkyv

Zero-copy deserialization framework for Rust

rkyv-partial-eq-error-reproduction

scylla-rust-driver

Async CQL driver for Rust, optimized for Scylla!

self_update

Self updates for rust executables

serial-monitor-rust

A cross-plattform serial monitor/plotter written entirely in rust.

stract

Open source web search engine

tapi

Generate type definitions for your types simply

typeshare

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

vipers

Crates for interacting with the Viper verification infrastructure