Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Aris

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
Stars
9
License
gpl-3.0
Open Issues
16
Most Recent Commit
a year ago
Programming Language
Rust
Categories
Site
Repo
Alternatives To Aris
Select To Compare
Httpx ⭐ 11,772
A next generation HTTP client for Python. 🦋
dependent packages 3,751total releases 66most recent commit 3 months agopypi httpx} Downloads
Sqlboiler ⭐ 6,256
Generate a Go ORM tailored to your database schema.
dependent packages 145total releases 99most recent commit 3 months ago
Pdf Lib ⭐ 5,930
Create and modify PDF documents in any JavaScript environment
dependent packages 334total releases 85most recent commit 4 months agonpm pdf-lib} Downloads
Byte Buddy ⭐ 5,888
Runtime code generation for the Java virtual machine.
dependent packages 1,533total releases 272most recent commit 3 months ago
Mockery ⭐ 5,369
A mock code autogenerator for Go
dependent packages 314total releases 151most recent commit 3 months ago
Thumbnailator ⭐ 4,910
Thumbnailator - a thumbnail generation library for Java
dependent packages 231total releases 20most recent commit 4 months ago


Suggest An Alternative To aris
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Java Generation
Java Rust
Rust Generation

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