amirsh
Follow
-
-
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 -
-
-
leon Public
Forked from epfl-lara/leonThe Leon system for verification, synthesis, and more.
Scala Other UpdatedApr 10, 2015 -
scala-offheap Public
Forked from densh/scala-offheapType-safe off-heap memory for Scala.
-
squall Public
Forked from epfldata/squallAn streaming / online query processing / analytics engine based on Apache Storm
Java UpdatedMar 4, 2015 -
cake-benchmark Public
Benchmarking the performance of cake patterns in Scala
Scala UpdatedJan 6, 2015