#
Starred repositories
72
stars
written in Scala
Clear filter
The Community Maintained High Velocity Web Framework For Java and Scala.
TransmogrifAI (pronounced trăns-mŏgˈrə-fī) is an AutoML library for building modular, reusable, strongly typed machine learning workflows on Apache Spark with minimal hand-tuning
Streaming MapReduce with Scalding and Storm
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Lightning-fast cluster computing in Java, Scala and Python.
Experimental Scala compiler focused on compilation speed
A simple library for creating complex neural networks
Flexible Intermediate Representation for RTL
FACTORIE is a toolkit for deployable probabilistic modeling, implemented as a software library in Scala. It provides its users with a succinct language for creating relational factor graphs, estima…
Code Property Graph: specification, query language, and utilities
Plugin adding Language Server Protocol support for IntelliJ
Abstractions from Category theory with simple description & implementation, links to further resources.
A CPU and GPU-accelerated matrix library for data mining
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
A Scala implementation of parsing with derivatives
Squid – type-safe metaprogramming and compilation framework for Scala
Code from the book "Types and Programming Languages" in Scala
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Synthesis of Heap-Manipulating Programs from Separation Logic
A SuperCompiler for Martin-Löf's Type Theory
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
