oeb25/smtlib-rs

Stars
11
Rank 1,685,725 (Top 34 %)
Language
Rust
Created almost 2 years ago
Updated 10 months ago

oeb25/smtlib-rs

oeb25

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A high-level API for interacting with SMT solvers.

VectorJs

go-bridge

Convert your Go structs to other languages, including TypeScript / Flow, Elm and Rust among others!

lo

👋 lo is a tiny but expressive compiled programming language

worksonmymachine.xyz

cdm

Algorithms and data structures for Computational Discrete Mathematics

naduo

A web app for natural deduction

excourser

Visual graph of courses on DTU

uncommon

A markdown-ish parser written for WASM in Rust

sql-fmt

A _very inprogress_ SQL parser and formatter written in Rust, specifically ment to be used with PostgreSQL

ofmc-ui

A graphical user interface for interacting with OFMC

spaget

Straighten out your spaghetti tabs with this simple popup

super-tiny-service-example

A service example using Caddy as proxy all running in tiny precompiled Docker containers.

chilio

mist

Mist: Userfriendly verification language

abeye

🐝 OpenAPI client generator