Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hoice

An ICE-based predicate synthesizer for Horn clauses.
Stars
46
License
apache-2.0
Open Issues
5
Most Recent Commit
7 months ago
Programming Language
Rust
Categories
Repo
Suggest An Alternative To hoice
Popular Synthesizer Projects
Tone.js ⭐ 12,835
A Web Audio framework for making interactive music in the browser.
dependent packages 205total releases 678latest release October 23, 2022most recent commit 5 months agonpm tone} Downloads
Sonic Pi ⭐ 10,485
Code. Music. Live.
most recent commit 18 days ago
Ddsp ⭐ 2,557
DDSP: Differentiable Digital Signal Processing
dependent packages 1total releases 55latest release May 25, 2022most recent commit 10 months agopypi ddsp} Downloads
Popular Verify Projects
Immudb ⭐ 8,416
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
dependent packages 21total releases 139latest release October 16, 2023most recent commit 3 months ago
Gitoxide ⭐ 7,537
An idiomatic, lean, fast & safe pure Rust implementation of Git
dependent packages 45total releases 35latest release December 06, 2023most recent commit 3 months agocargo gix} Downloads
Jose ⭐ 4,373
JWA, JWS, JWE, JWT, JWK, JWKS for Node.js, Browser, Cloudflare Workers, Deno, Bun, and other Web-interoperable runtimes.
dependent packages 1,092total releases 186latest release November 30, 2023most recent commit 3 months agonpm jose} Downloads
Gitpython ⭐ 4,261
GitPython is a python library used to interact with Git repositories.
dependent packages 2,895total releases 94latest release October 18, 2023most recent commit 3 months agopypi GitPython} Downloads
Popular Media Categories
Screenshot
Ffmpeg
Volume
Image Processing
Spotify
Radio
Playlist
Decoder
Qrcode
Encoder
Related Searches
Rust Verify
Rust Synthesizer
Rust Smt
Rust Ice
Verify Smt
Synthesizer Smt

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