☆21Aug 12, 2021Updated 4 years ago
Alternatives and similar repositories for EasyTheoryBook
Users that are interested in EasyTheoryBook 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 list of books about mathematical subjects, using array languages like APL and J for their presentation.☆15Jan 19, 2026Updated 2 months ago
- Solving LeetCode problems in Dyalog APL☆11Jun 13, 2022Updated 3 years ago
- XMSS[MT] commandline tool☆13Dec 18, 2023Updated 2 years ago
- A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.☆16May 27, 2024Updated last year
- Spotify web API in Haskell☆13Mar 29, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Firebase provider for Adonis Framework☆13Feb 21, 2019Updated 7 years ago
- OpenTripPlanner data container☆15Updated this week
- Elliptic curve operations over secp256k1 *not for production*☆18Jun 8, 2022Updated 3 years ago
- My Advent of Code solutions☆23Mar 31, 2026Updated last week
- Ring-Signature using secp256k1 in Solidity☆13Jul 6, 2018Updated 7 years ago
- ☆24Mar 30, 2026Updated last week
- GitHub repo backing Programming Language Ranking website ⬇️☆34Jan 2, 2026Updated 3 months ago
- ☆14Mar 9, 2026Updated last month
- Simple encryption for GameMaker Studio 2.3.2☆18Feb 18, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An Open Source C++ Opengl engine utilizing the capabilities of Box2D.☆16Sep 4, 2015Updated 10 years ago
- Learn pure math with agda☆16Oct 18, 2025Updated 5 months ago
- Production ready C library for XMSS.☆17Oct 8, 2024Updated last year
- Go implementation of Kademlia protocol for Princeton COS 518☆12May 13, 2018Updated 7 years ago
- Rust library & CLI for Google Translate's text‑to‑speech (TTS)☆26Nov 7, 2025Updated 5 months ago
- Dyalog APL in your command shell☆29Jan 27, 2026Updated 2 months ago
- Attempt at lossy grammar compression for CS 222.☆13Dec 12, 2012Updated 13 years ago
- A "perfect" implementation of an old classic☆18Sep 17, 2025Updated 6 months ago
- The Q Phrasebook☆37Jan 23, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- Brazilian Tertiary Care Dataset☆16Dec 14, 2022Updated 3 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 6 months ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Mar 31, 2026Updated last week
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Aug 12, 2023Updated 2 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆22May 6, 2021Updated 4 years ago
- Containerfile for the Vanilla OS Desktop+Nvidia image.☆17Apr 2, 2026Updated last week
- Run greatexpectations.io on ANY SQL Engine using REST API. Supported by FastAPI, Pydantic and SQLAlchemy as best data quality tool☆14Dec 12, 2025Updated 3 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Runnable examples for Typed Clojure paper☆11Jul 2, 2015Updated 10 years ago
- Via Text Density Simple Web Crawler With Go☆13Mar 19, 2023Updated 3 years ago
- Particle Syntax Website☆16Sep 16, 2024Updated last year
- C4RepSet: Representative Subset from C4 data for Training Pre-trained LMs☆11Jan 13, 2023Updated 3 years ago
- A Julia library for working with Data Package.☆12Aug 10, 2021Updated 4 years ago
- Dataset from Tip of the Tongue Known-Item Retrieval (2021) paper.☆12Nov 4, 2021Updated 4 years ago
- Code that drives the public web-based tools for the Media Cloud Online News Archive and Directory.☆11Updated this week