Interprocedural Static Analysis Engine for Scala
☆20Mar 8, 2013Updated 12 years ago
Alternatives and similar repositories for insane
Users that are interested in insane are comparing it to the libraries listed below
Sorting:
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- A language with dependent types☆19Oct 7, 2011Updated 14 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- scala naked objects with a twist☆29Oct 20, 2025Updated 4 months ago
- Extensible stream pipelines with object algebras.☆27Apr 30, 2015Updated 10 years ago
- The Kerr Scala Extensions contain core functionality missing from the Scala standard library.☆28Feb 8, 2021Updated 5 years ago
- WartRemover warts for Play Framework.☆23Nov 30, 2017Updated 8 years ago
- Adds useful methods to scala & java classes.☆35Feb 9, 2022Updated 4 years ago
- interactive access to the scala REPL, via telnet, http, swing - content assist and other scripting goodies☆53Apr 19, 2022Updated 3 years ago
- Some microbenchmarks and design docs before commencement☆12Feb 1, 2021Updated 5 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Feb 3, 2026Updated 3 weeks ago
- A fast parser combinator library, with extra querying goodness☆34Oct 31, 2016Updated 9 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Feb 14, 2023Updated 3 years ago
- Scala implementation of Networking and Cryptography (NaCl) library☆31Jun 23, 2015Updated 10 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Dec 2, 2010Updated 15 years ago
- Alternative to Free monads☆34Oct 15, 2016Updated 9 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- rabitq rust implementation☆10Feb 4, 2026Updated 3 weeks ago
- A linter for the ruby language for VS Code☆11May 14, 2016Updated 9 years ago
- Scala collection views meet Transducers hype☆41Oct 13, 2015Updated 10 years ago
- Static analysis using data-flow and type inference for PHP applications - Implemented in Scala☆76Apr 12, 2013Updated 12 years ago
- 👨💻 ❤️ 💻 本科阶段比较值得参加的与代码有关的比赛，或者活动，或者组织☆37Jun 17, 2025Updated 8 months ago
- Sindi - An IoC Container for Scala☆67Apr 11, 2013Updated 12 years ago
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- Simulated large clusters for Kubernetes scheduler validation.☆15Jan 3, 2023Updated 3 years ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- PyTorch Landscape source code☆16Updated this week
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- A vector database built on document database☆12Apr 27, 2023Updated 2 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- ☆14Aug 21, 2020Updated 5 years ago
- Microbenchmarking Stream APIs of Java 8, Scala, C#, F#.☆21Dec 16, 2014Updated 11 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago