Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
☆55Jun 19, 2019Updated 6 years ago
Alternatives and similar repositories for scala-rrb-vector
Users that are interested in scala-rrb-vector are comparing it to the libraries listed below
Sorting:
- RRB-Trees: Efficient Immutable Vectors☆52Nov 5, 2012Updated 13 years ago
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Jan 2, 2022Updated 4 years ago
- The Scala programming language☆16Mar 31, 2023Updated 2 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Aug 16, 2023Updated 2 years ago
- ☆10Jun 11, 2023Updated 2 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- Quarkus, Google Cloud Run, Google Cloud Build☆11Apr 24, 2019Updated 6 years ago
- A library to microbenchmark lambdas in C# and F# that runs on both Windows (clr) and Linux (mono).☆14Mar 9, 2017Updated 9 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test…☆18Updated this week
- Clojure LLM - Dataset curation for fine tuning an LLM for Clojure.☆17Jun 12, 2023Updated 2 years ago
- Scala library for memory-efficient data structures☆74Oct 23, 2017Updated 8 years ago
- Random generator of test data in Scala based on Scalacheck and Magnolia☆26Apr 28, 2021Updated 4 years ago
- Loopless Functional Algorithms (Haskell)☆16Dec 30, 2023Updated 2 years ago
- An enhanced glob interpolator for Scala with format strings☆14May 21, 2024Updated last year
- ☆17Oct 31, 2025Updated 4 months ago
- ☆14Oct 9, 2019Updated 6 years ago
- ☆17Jul 24, 2025Updated 7 months ago
- Scala wrappers for MapDB☆12Sep 9, 2017Updated 8 years ago
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 3 years ago
- Scala implementation of Micrograd. A tiny scalar-valued autograd engine and a neural net implementation.☆28Jun 4, 2025Updated 9 months ago
- An extensible Clojure library for serving web application assets☆45Mar 21, 2017Updated 8 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- ☆13Dec 12, 2020Updated 5 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- ☆13Jul 27, 2015Updated 10 years ago
- Collection of CRDT data structures☆17Oct 10, 2016Updated 9 years ago
- Lean Hash Array Mapped Trie implementation in ClojureScript☆142Apr 21, 2017Updated 8 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- ☆18Updated this week
- A union-find data structure for Clojure☆16May 4, 2020Updated 5 years ago
- Kubernetes support for Ciris☆21Jan 30, 2026Updated last month
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 3 years ago
- ☆38May 30, 2019Updated 6 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Figwheel core provides code reloading facilities for ClojureScript.☆21Jan 14, 2025Updated last year
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year
- just place for some random notes about programming☆18Feb 16, 2026Updated 3 weeks ago