Explore @acl2 Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

HTML

R

TypeScript

Kotlin

Crystal

PHP

CoffeeScript

Dart

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Java

Dart

TypeScript

C++

Objective-C

Go

Lua

Ruby

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇰🇭 Cambodia

🇾🇹 Mayotte

🇬🇹 Guatemala

🇵🇱 Poland

🇰🇿 Kazakhstan

🇵🇼 Palau

🇮🇶 Iraq

All Countries Compare Countries

A Computational Logic for Applicative Common Lisp (@acl2)

acl2

Stars
344
Global Org. Rank 29,904 (Top 10 %)
Registered about 11 years ago
Most used languages

Common Lisp
100.0 %
Location 🇺🇸 United States
Country Total Rank 20,162
Country Ranking

Common Lisp
27

acl2

ACL2 System and Books as Maintained by the Community

docs

Papers and presentations from workshops, seminars, etc.