ikuraj / SciFeView external linksLinks
SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
☆15Mar 15, 2024Updated last year
Alternatives and similar repositories for SciFe
Users that are interested in SciFe are comparing it to the libraries listed below
Sorting:
- Opt - AnyVal Option-like type☆10Jan 7, 2017Updated 9 years ago
- A lightweight reactive RPC-like system built on Akka IO☆45Apr 23, 2015Updated 10 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jun 13, 2022Updated 3 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Sep 21, 2022Updated 3 years ago
- Scala-friendly, fast class-finder library (using ASM under the covers)☆94Jul 3, 2021Updated 4 years ago
- Comparing shrinking approaches and performance across different PBT libraries☆29Jan 26, 2026Updated 2 weeks ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated 4 months ago
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Free wrapper specialized to Coproducts of DSL/Containers☆25Dec 15, 2016Updated 9 years ago
- ☆14Updated this week
- ISO 3166-1, ISO 3166-2, ISO 4217, E.164, ISO related types in Scala. Country codes, Country Subdivision, Country Currency, Calling Code, …☆35Mar 30, 2019Updated 6 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Apr 2, 2017Updated 8 years ago
- Reactive data structures for Scala and Scala.js☆35Sep 19, 2018Updated 7 years ago
- Alternative to Free monads☆34Oct 15, 2016Updated 9 years ago
- ☆12Nov 22, 2024Updated last year
- An sbt plugin for adding sounds to task completions☆28May 5, 2018Updated 7 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated 3 weeks ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- Fault tolerant distributed task scheduler.☆40Jan 31, 2020Updated 6 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- Configuration and playback/management system for up to 4 streams (RTSP, e.g. from IP cameras). Using popcornmix/omxplayer. Applicable for…☆10Oct 19, 2017Updated 8 years ago
- In-memory distributed graph processing of trivially parallelizable graph algorithms.☆22Apr 17, 2013Updated 12 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- ☆11May 8, 2019Updated 6 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 6 years ago
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 5 months ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 2 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated last year
- A small library to add some convenience methods to Scala encompassing predicate logic☆21Mar 16, 2016Updated 9 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- JudiLing: An implementation for Linear Discriminative Learning in Julia.☆10Jan 24, 2026Updated 3 weeks ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- Generic TCP Server for Erlang applications☆11Apr 7, 2015Updated 10 years ago