Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.
☆15Mar 9, 2019Updated 7 years ago
Alternatives and similar repositories for Purity-Project
Users that are interested in Purity-Project are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scalar 2024 - Generative Art in Scala, No AI Required☆11Mar 27, 2024Updated 2 years ago
- Talk on folds & unfolds (and combinations) for general algebraic data types☆12Aug 6, 2013Updated 13 years ago
- This library is a Scala reactive DSL for object storage (e.g. S3/Amazon, S3/CEPH, Google Cloud Storage).☆22Jul 23, 2026Updated 2 weeks ago
- All programming workshops prepared by me.☆10Updated this week
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Dec 9, 2020Updated 5 years ago
- The Rocq Prover Website☆15Jul 2, 2026Updated last month
- ☆15May 24, 2026Updated 2 months ago
- Our slides for meetups and conferences☆16Feb 8, 2021Updated 5 years ago
- A drone of infinite duration. Made with SuperCollider.☆12Jan 11, 2021Updated 5 years ago
- O'Reilly, Architectural Katas: Farmacy Food☆15Nov 30, 2020Updated 5 years ago
- Sample code for my blog series about Caliban☆18Sep 28, 2023Updated 2 years ago
- Introduction to Computer Intelligence. Modern Computer Vision☆10Sep 4, 2021Updated 4 years ago
- Reimplementing lambda calculus in Java 8 for fun and profit.☆17Oct 11, 2014Updated 11 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.
- Time and Money Code Library☆19Jul 15, 2017Updated 9 years ago
- Small helper Go libraries☆30Jul 27, 2026Updated 2 weeks ago
- Community-curated record of Scala usage in the wild☆18Jul 20, 2026Updated 3 weeks ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- A discrete, colored Petri Net DSL and executor☆18Aug 9, 2022Updated 4 years ago
- AdGuard Code Guidelines☆20Apr 3, 2026Updated 4 months ago
- A tiny lazy objective functional language☆20Sep 12, 2024Updated last year
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 6 years ago
- Experiments with composable lock-free concurrency☆24Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Deterministic uncertainty for Scala. A Scala 3 library for uncertainty-aware, probability distribution based programming using the type-s…☆26Jul 19, 2026Updated 3 weeks ago
- Silver Medal Solution for Shopee - Price Match Guarantee competition on Kaggle☆20Jun 15, 2021Updated 5 years ago
- Pillar manages migrations for your Cassandra data stores.☆108Feb 26, 2018Updated 8 years ago
- Java implementation for KillrVideo project☆11Jun 4, 2018Updated 8 years ago
- 💰 Import your ING Germany bank statements via FinTS into YNAB.☆29Nov 29, 2025Updated 8 months ago
- Implementation of code in Little Schemer in Scala and Clojure☆27Sep 29, 2013Updated 12 years ago
- Examples of using LMAX Disruptor in a Java program☆10Oct 10, 2018Updated 7 years ago
- Official Implementation for "In-Context Reinforcement Learning from Noise Distillation"☆35Sep 18, 2024Updated last year
- Partial Commutative Monoids☆35Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Polynomial Lens☆29Dec 29, 2022Updated 3 years ago
- A curated list of startup incubators around the globe☆13Apr 5, 2017Updated 9 years ago
- A simple Rust crate to cache data both in-memory and on disk☆11Dec 26, 2021Updated 4 years ago
- Automatically parallelize your for-comprehensions at compile time.☆134Sep 30, 2024Updated last year
- ConfigParser class with AES-256 symmetric encryption support☆10Mar 8, 2024Updated 2 years ago
- My implementation of the Gilded Kata.☆30Sep 29, 2015Updated 10 years ago
- A pure Functional Reactive Programming implementation using a discrete time model☆31Aug 28, 2017Updated 8 years ago