Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Spec Utils

A number of utilities for writing ACSL specifications for a Linux module.
Stars
8
License
gpl-2.0
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Perl
Categories
Repo
Alternatives To Spec Utils
Select To Compare
Linux ⭐ 164,652
Linux kernel source tree
total releases 2most recent commit 4 months ago
Cilium ⭐ 17,693
eBPF-based Networking, Security, and Observability
dependent packages 25total releases 781most recent commit 4 months ago
Containerd ⭐ 15,515
An open and reliable container runtime
dependent packages 4,016total releases 626most recent commit 4 months ago
Gpu.js ⭐ 14,821
GPU Accelerated JavaScript
dependent packages 74total releases 145most recent commit 5 months agonpm gpu.js} Downloads
Gvisor ⭐ 14,562
Application Kernel for Containers
dependent packages 277total releases 488most recent commit 4 months ago


Suggest An Alternative To spec-utils
Popular Operating Systems Categories
Kernel
Driver
Operating System
Unix
Debian
Filesystem
Openwrt
Hackintosh
Efi
Tvos
Related Searches
Perl Kernel

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