Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Verifast Play

Experiments in using VeriFast verification tool
Stars
5
License
bsd-3-clause
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
C
Categories
Repo
Alternatives To Verifast Play
Select To Compare
Sqlx ⭐ 14,695
general purpose extensions to golang's database/sql
dependent packages 4,138total releases 21most recent commit 5 months ago
Mapstructure ⭐ 7,404
Go library for decoding generic map values into native Go structures and vice versa.
dependent packages 22,647total releases 19most recent commit 4 months ago
Superstruct ⭐ 6,735
A simple and composable way to validate data in JavaScript (and TypeScript).
dependent packages 555total releases 82most recent commit 4 months agonpm superstruct} Downloads
Govalidator ⭐ 5,875
[Go] Package of validators and sanitizers for strings, numerics, slices and structs
dependent packages 4,669total releases 17most recent commit 4 months ago
Xlsx ⭐ 5,622
Go library for reading and writing XLSX files.
dependent packages 323total releases 49most recent commit 4 months ago
Pg ⭐ 5,519
Golang ORM with focus on PostgreSQL features and performance
dependent packages 297total releases 366most recent commit 3 months ago
Copier ⭐ 4,807
Copier for golang, copy value from struct to struct and more
dependent packages 1,938total releases 39most recent commit 5 months ago
Envconfig ⭐ 4,711
Golang library for managing configuration data from environment variables
dependent packages 2,362total releases 11most recent commit 6 months ago
Toml ⭐ 4,354
TOML parser for Golang with reflection.
dependent packages 10,646total releases 51most recent commit 4 months ago
Go Funk ⭐ 4,344
A modern Go utility library which provides helpers (map, find, contains, filter, ...)
dependent packages 742total releases 25most recent commit 9 months ago


Suggest An Alternative To verifast-play
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Struct
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.