just place for some random notes about programming
☆19Feb 16, 2026Updated 7 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆43Jan 5, 2026Updated 9 months ago
- ☆11Oct 8, 2024Updated 2 years ago
- Scala 3 library to compose domain-tailored data from SQL databases☆20Jan 19, 2026Updated 8 months ago
- ☆17Jun 16, 2026Updated 3 months ago
- Smithy4s integration for Caliban, a Scala GraphQL library.