☆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
Sorting:
- A list of books about mathematical subjects, using array languages like APL and J for their presentation.☆15Jan 19, 2026Updated 2 months ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- Solving LeetCode problems in Dyalog APL☆11Jun 13, 2022Updated 3 years ago
- This library provides lightweight and garbage-free order book component for Java11+☆13Jun 3, 2024Updated last year
- XMSS[MT] commandline tool☆13Dec 18, 2023Updated 2 years ago
- We have a task for each skill level!!☆36Oct 1, 2022Updated 3 years ago
- 7DRL 2023☆15May 27, 2023Updated 2 years ago
- ☆11Mar 19, 2023Updated 3 years ago
- Spotify web API in Haskell☆13Mar 29, 2016Updated 9 years ago
- ☆11Dec 13, 2020Updated 5 years ago
- GitHub repo backing Programming Language Ranking website ⬇️☆34Jan 2, 2026Updated 2 months ago
- ☆14Mar 9, 2026Updated last week
- ☆17Updated this week
- A small toy project written in Rust: procedural generation of various kinds of grid-based maps.☆17Aug 15, 2019Updated 6 years ago
- Blind signatures over secp256k1 elliptic curve☆17May 17, 2022Updated 3 years ago
- A CLI built in Node.js, to automate the process of creating a rest api / sockets backend basics☆11Mar 24, 2022Updated 3 years ago
- Production ready C library for XMSS.☆17Oct 8, 2024Updated last year
- ☆25Feb 18, 2026Updated last month
- 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 4 months ago
- Research on cybersecurity data usage in research papers☆15Dec 15, 2017Updated 8 years ago
- ☆17Mar 12, 2026Updated last week
- Dyalog APL in your command shell☆29Jan 27, 2026Updated last month
- Implementation of a quantum simulator using APL☆19May 2, 2025Updated 10 months ago
- ☆12Nov 1, 2025Updated 4 months ago
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆14Jan 6, 2026Updated 2 months ago
- Code for Contextual Autocomplete paper published in MLHC2020☆13Aug 7, 2021Updated 4 years ago
- This is the egui integration crate for winit, ash and vk_mem.☆12Sep 9, 2021Updated 4 years ago
- 🟣 Load Balancing interview questions and answers to help you prepare for your next software architecture and design patterns interview i…☆21Jan 4, 2026Updated 2 months ago
- Brazilian Tertiary Care Dataset☆15Dec 14, 2022Updated 3 years ago
- Migrates torrents from Transmission to qBittorrent☆28Jan 29, 2026Updated last month
- 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,@…☆25Feb 11, 2026Updated last month
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Aug 12, 2023Updated 2 years ago
- ☆14May 21, 2022Updated 3 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆22May 6, 2021Updated 4 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆38Jan 15, 2026Updated 2 months ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Jan 14, 2019Updated 7 years ago