bitwuzla

global

Languages

3 total

Language	Repos	Stars	Global
all	3	166	190,801
SMT	1	159	9
OCaml	1	6	2,029
CSS	1	1	400,867

Repos

3 total

Repo	Language	Stars	Rank
bitwuzla	SMT	159	9
ocaml-bitwuzla	OCaml	6	4,203
bitwuzla.github.io	CSS	1	479,289

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/bitwuzla"><img alt="Check out bitwuzla's profile on stardev.io" src="https://stardev.io/developers/bitwuzla/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-05-07T23:36:08.515996491Z Re-sync