amirsh
Follow
-
lingo-db Public
Forked from lingo-db/lingo-dbLingoDB: A new analytical database system that blurs the lines between databases and compilers.
C++ MIT License UpdatedJul 15, 2026 -
souffle-benchmarks Public
Forked from souffle-lang/benchmarksDatalog benchmark suite
Shell UpdatedMar 9, 2026 -
FlowLog Public
Forked from flowlog-rs/vldb26-artifactThis 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 p…
Rust Apache License 2.0 UpdatedMar 9, 2026 -
-
-
-
-
egg Public
Forked from egraphs-good/eggegg is a flexible, high-performance e-graph library
Rust MIT License UpdatedNov 12, 2024 -
-
-
-
quickstep-datalog Public
Forked from Hacker0912/quickstep-datalogMirror of Apache Quickstep Incubator
C++ Apache License 2.0 UpdatedJan 31, 2023 -
-
dice Public
Forked from SHoltzen/diceExact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
-
-
MorpheusPy Public
Forked from ADALabUCSD/MorpheusPyFactorized Machine Learning with NumPy
Python Apache License 2.0 UpdatedFeb 11, 2022 -
staged-streams.scala Public
Forked from strymonas/staged-streams.scalaScala MIT License UpdatedOct 18, 2021 -
taco Public
Forked from tensor-compiler/tacoThe Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
C++ Other UpdatedJun 9, 2021 -
-
dbtoaster-a5 Public
Forked from dbtoaster/dbtoaster-a5DBToaster OCAML code
OCaml Other UpdatedMay 21, 2019 -
futhark-ad Public
Forked from diku-dk/futhark-adNotes, examples, and general work on automatic differentiation and probabilistic programming
UpdatedMay 10, 2019 -
-
scala-records Public
Forked from scala-records/scala-recordsLabeled records for Scala based on structural refinement types and macros.
Scala BSD 3-Clause "New" or "Revised" License UpdatedApr 1, 2019 -
arith-dsl Public
A simple arithmetic (external) DSL implemented in Scala
-
scala-native Public
Forked from scala-native/scala-nativeYour favorite language gets closer to bare metal.
Scala Other UpdatedSep 27, 2017 -
dblab Public
Forked from epfldata/dblabA framework for building database systems by high-level programming, and getting really good performance nevertheless.
Scala UpdatedAug 24, 2017 -
-
-
yin-yang Public
Forked from scala-yinyang/scala-yinyangLibrary for deep embedding of DSLs based on Scala macros.
Scala BSD 3-Clause "New" or "Revised" License UpdatedOct 13, 2015 -