5-day longest streak
-
dblab ★ PINNED ⑂
A framework for building database systems by high-level programming, and getting really good performance nevertheless.
Scala ★ 0 8y agoExplain → -
sdql_query
No description.
Scala ★ 11 7mo agoExplain → -
autodiff2 ⑂
No description.
C ★ 3 7y agoExplain → -
field-dsl
No description.
Scala ★ 2 2y agoExplain → -
dice ⑂
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
OCaml ★ 1 3y agoExplain → -
scala-offheap ⑂
Type-safe off-heap memory for Scala.
Scala ★ 1 11y agoExplain → -
amirsh.github.com
My personal website
Ruby ★ 1 13y agoExplain → -
slick ⑂
Scala Language Integrated Connection Kit
Scala ★ 1 12y agoExplain → -
slick-type-provider-example
No description.
Scala ★ 1 13y agoExplain → -
Play20 ⑂
Play framework 2.0
Scala ★ 1 13y agoExplain → -
scala-ide ⑂
Scala IDE for Eclipse
Scala ★ 1 13y agoExplain → -
radlog ⑂
No description.
Scala ★ 0 3y agoExplain → -
FlowLog ⑂
This repository contains the archived code, examples, and experimental artifacts for the VLDB 2026 FlowLog paper. It includes the Rust implementation of the FlowLog Datalog engine, sample Datalog programs, and the reproduction materials used to generate the paper’s results and figures.
★ 0 3mo agoExplain → -
SDQL-Compiler
SDQL Compiler written in Lean4
★ 0 4mo agoExplain → -
souffle-benchmarks ⑂
Datalog benchmark suite
Shell ★ 0 3mo agoExplain → -
slotted-egraphs ⑂
No description.
★ 0 1y agoExplain → -
ChocoTest
Testing Choco Solver (a constraints programming library) with Scala
Scala ★ 0 14y agoExplain → -
Dice.jl ⑂
No description.
★ 0 8mo agoExplain → -
RecStep ⑂
No description.
Python ★ 0 3y agoExplain → -
quickstep-datalog ⑂
Mirror of Apache Quickstep Incubator
C++ ★ 0 3y agoExplain → -
BigDatalog ⑂
No description.
Scala ★ 0 3y agoExplain → -
rsdd ⑂
Rust decision diagrams
★ 0 3y agoExplain → -
egg ⑂
egg is a flexible, high-performance e-graph library
★ 0 1y agoExplain → -
MorpheusPy ⑂
Factorized Machine Learning with NumPy
★ 0 4y agoExplain → -
staged-streams.scala ⑂
No description.
Scala ★ 0 4y agoExplain → -
bigdata-synthesis ⑂
No description.
Scala ★ 0 11y agoExplain → -
taco ⑂
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
★ 0 5y agoExplain → -
FSharp.Data ⑂
Library of F# type providers and data access tools
F# ★ 0 13y agoExplain → -
dbtoaster-a5 ⑂
DBToaster OCAML code
OCaml ★ 0 7y agoExplain → -
futhark-ad ⑂
Notes, examples, and general work on automatic differentiation and probabilistic programming
★ 0 7y agoExplain → -
mini-dblab
A minimalistic version of DBLAB :)
C ★ 0 7y agoExplain → -
scala-records ⑂
Labeled records for Scala based on structural refinement types and macros.
Scala ★ 0 7y agoExplain → -
arith-dsl
A simple arithmetic (external) DSL implemented in Scala
Scala ★ 0 8y agoExplain → -
scala-native ⑂
Your favorite language gets closer to bare metal.
Scala ★ 0 8y agoExplain → -
ada-ana
ADA course
Jupyter Notebook ★ 0 9y agoExplain → -
tpch-dbgen ⑂
TPC-H dbgen
C ★ 0 14y agoExplain → -
CakeTests ⑂
No description.
Scala ★ 0 10y agoExplain → -
YMITSCompetition ⑂
No description.
C# ★ 0 10y agoExplain → -
ScalaZ3 ⑂
Binders and more to the Z3 SMT solver for Scala
Scala ★ 0 11y agoExplain → -
benchmarking-scala-manifests
No description.
Scala ★ 0 12y agoExplain → -
leon ⑂
The Leon system for verification, synthesis, and more.
Scala ★ 0 11y agoExplain → -
squall ⑂
An streaming / online query processing / analytics engine based on Apache Storm
Java ★ 0 11y agoExplain → -
yin-yang ⑂
Library for deep embedding of DSLs based on Scala macros.
Scala ★ 0 10y agoExplain → -
cake-benchmark
Benchmarking the performance of cake patterns in Scala
Scala ★ 0 11y agoExplain → -
Jipopt-scala-test
A test program for testing jipopt
Java ★ 0 12y agoExplain → -
master-thesis-graphs
My Master Thesis
Scala ★ 0 13y agoExplain → -
SCalAnalyser
Scala Call Analyser
★ 0 12y agoExplain → -
scaladiagrams ⑂
Generate class diagrams from scala source code
Scala ★ 0 13y agoExplain → -
virtualization-lms-core ⑂
A Framework for Runtime Code Generation and Compiled DSLs
Scala ★ 0 12y agoExplain → -
efftp ⑂
No description.
Scala ★ 0 13y agoExplain → -
Forge-Provider
Shallow Library for Generating Forge DSL
Scala ★ 0 12y agoExplain → -
Forge ⑂
A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
Scala ★ 0 12y agoExplain → -
sprinter-macro-test
A project that tests whether Sprinter works with macros
Scala ★ 0 12y agoExplain → -
Forge-archive ⑂
Just in case, just in case.
Scala ★ 0 13y agoExplain → -
typemacros-test
No description.
Scala ★ 0 13y agoExplain → -
Delite ⑂
The Delite Git Repo
Scala ★ 0 12y agoExplain → -
make-release-notes ⑂
The project that generates Scala release notes.
Scala ★ 0 13y agoExplain → -
databench ⑂
Persistence Benchmark for the JVM
Scala ★ 0 13y agoExplain → -
s4gnuplot ⑂
Small Scala wrapper for gnuplot
Scala ★ 0 13y agoExplain → -
scala ⑂
The Scala programming language
Scala ★ 0 11y agoExplain → -
jzy3d-demo ⑂
SBT project to run the JZY3D samples
Scala ★ 0 14y agoExplain → -
slick-examples ⑂
A sample project for getting started with ScalaQuery
Scala ★ 0 13y agoExplain → -
scala-ide-play2 ⑂
Play 2 support for Scala IDE
Scala ★ 0 13y agoExplain → -
scala-worksheet ⑂
A Scala IDE plugin for a multi-line REPL (called worksheet)
Scala ★ 0 14y agoExplain →
No repos match these filters.