Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Acl2

ACL2 System and Books as Maintained by the Community
Stars
326
License
other
Open Issues
106
Most Recent Commit
3 months ago
Programming Language
Common Lisp
Categories
Site
Repo
Alternatives To Acl2
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Acl2326
3 months ago106otherCommon Lisp
ACL2 System and Books as Maintained by the Community
Spring Data Rest Acl38
6 years ago1apache-2.0Java
Spring Security ACL with Spring Data REST
Smtlink5
6 years agootherCommon Lisp
Integrate the Smtlink solver Z3 into the theorem prover ACL2.
Alternatives To Acl2
Select To Compare


Suggest An Alternative To acl2
Alternative Project Comparisons
Acl2 vs Spring Data Rest Acl
Acl2 vs Smtlink
Popular Book Projects
Free Programming Books ⭐ 319,107
:books: Freely available programming books
total releases 1latest release March 18, 2022most recent commit 9 days ago
Popular Acl Projects
Casbin ⭐ 16,242
An authorization library that supports access control models like ACL, RBAC, ABAC in Golang: https://discord.gg/S5UjpzGZjN
dependent packages 705total releases 256latest release November 24, 2023most recent commit 4 months ago
Shadowsocks Rust ⭐ 7,398
A Rust port of shadowsocks
dependent packages 1total releases 36latest release October 15, 2023most recent commit 3 months agocargo shadowsocks-service} Downloads
Casl ⭐ 5,368
CASL is an isomorphic authorization JavaScript library which restricts what resources a given user is allowed to access
dependent packages 237total releases 81latest release April 28, 2023most recent commit 3 months agonpm @casl/ability} Downloads
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Related Searches
Book Manual
Book Common Lisp
Common Lisp Acl

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Book
Common Lisp
Acl
Formal Methods
Theorem Proving
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.