Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sl Comp19

Resources for the SL-COMP 2019 edition
Stars
5
License
No license specified
Open Issues
3
Most Recent Commit
2 years ago
Programming Language
SMT
Categories
Repo
Suggest An Alternative To SL-COMP19
Popular Benchmark Projects
Fastify ⭐ 29,773
Fast and low overhead web framework, for Node.js
dependent packages 3,020total releases 274latest release October 19, 2023most recent commit 3 months agonpm fastify} Downloads
Echo ⭐ 27,685
High performance, minimalist Go web framework
dependent packages 2,884total releases 173latest release November 07, 2023most recent commit 3 months ago
Mmdetection ⭐ 26,886
OpenMMLab Detection Toolbox and Benchmark
dependent packages 31total releases 52latest release October 12, 2023most recent commit 3 months agopypi mmdet} Downloads
Pnpm ⭐ 26,751
Fast, disk space efficient package manager
dependent packages 1,327total releases 1,018latest release December 08, 2023most recent commit 3 months agonpm pnpm} Downloads
Popular Organizer Projects
Popular Software Performance Categories
Benchmark
Performance
Optimization
Compression
Rstats
Benchmarking
Profiler
Gzip
Profiling
Mpi
Related Searches
Benchmark Smt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Benchmark
Organizer
Smt
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.