478 Open source projects that are alternatives of or similar to Casper

Code examples for my blog posts

Jupyter notebooks for tutorial on the Z3 SMT solver

Autoscaling for Google Cloud Dataproc

My presentation at ODSC India 2018 about Deep Learning with Apache Spark

Automated Schedule Generation for Time-Sensitive Networks (TSN).

Visualize column-level data lineage in Spark SQL

A Jupyter notebook using some standard techniques for data science and data engineering to analyze data for the 2017 flooding in Houston, TX.

Spark Shuffle Optimization with RDMA+AEP

[CVPR 2018] Cross-View Image Synthesis using Conditional GANs, [CVIU 2019] Cross-view image synthesis using geometry-guided conditional GANs

Apache Spark in your IDE with gradle

❄️ 🐳 Awesome tools and libs for AI, Deep Learning, Machine Learning, Computer Vision, Data Science, Data Analytics and Cognitive Computing that are baked in the oven to be Native on Kubernetes and Docker with Python, R, Scala, Java, C#, Go, Julia, C++ etc

MagPhase Vocoder: Speech analysis/synthesis system for TTS and related applications.

人生苦短 我用Python

An extensive non-reactive Typescript framework that eases the development experience in Spark AR

Linkis helps easily connect to various back-end computation/storage engines(Spark, Python, TiDB...), exposes various interfaces(REST, JDBC, Java ...), with multi-tenancy, high performance, and resource control.

Implementation of Fellegi-Sunter's canonical model of record linkage in Apache Spark, including EM algorithm to estimate parameters

A parallel implementation of word2vec based on Spark

VHDL-2008 Support Library

Collection of different demo applications using Apache Spark

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

Code Library for My Blog

PyTorch Implementation of Google Brain's WaveGrad 2: Iterative Refinement for Text-to-Speech Synthesis

简单的可视化湖州通话数据 假设数据量很大，没法用浏览器直接绘制热力图，把绘制热力图这一步骤放到线下计算分析。使用Apache Spark并行计算数据之后，再使用Apache Spark绘制热力图，然后用leafletjs加载OpenStreetMap图层和热力图图层，以达到良好的交互效果。现在使用Apache Spark实现绘制，可能是Apache Spark不擅长这方面的计算或者是我没有设计好算法，并行计算的速度比不上单机计算。Apache Spark绘制热力图和计算代码在这 https://github.com/yuanzhaokang/ParallelizeHeatmap.git .

Scripts and Javascript Glue code to use Z3 in the browser using WASM

low-level helpers for Apache Spark libraries and tests

Some class materials for a data processing course using PySpark

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

Apache Spark Sentry Integration

Sparkline BI Accelerator provides fast ad-hoc query capability over Logical Cubes. This has been folded into our SNAP Platform(http://bit.ly/2oBJSpP) an Integrated BI platform on Apache Spark.

a simple library to help you play custom waveforms with LÖVE

Open-source distribute workflow schedule tools, also support streaming task.

ACID Data Source for Apache Spark based on Hive ACID

Resources for Spark AR

Type System for Data Analysis in Python

Fast Data Cluster (Apache Cassandra, Kafka, Spark, Flink, YARN and HDFS with Vagrant and VirtualBox)

a GRId LOgic Puzzle Solver library

Spark functions to run popular phonetic and string matching algorithms

Framework of vectorized and distributed data analytics

This repository contains synthesizable examples which use the PoC-Library.

spark on kubernetes

A JSON library implemented in VHDL.

Scripts to build and use docker images including GHDL

Bird Sound Synthesis based on AM+FM

Online search advertisement platform & Realtime Campaign Monitoring [Maybe Deprecated]

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

基于Spark2.2新闻网大数据实时系统项目

Haskell bindings to Microsoft's Z3 API (unofficial).

AHX player web interface

Specify and synthesize systems using symbolic algorithms

The Archives Unleashed Toolkit is an open-source toolkit for analyzing web archives.

my supercollider codes, version history is at the branches

This is a tutorial on standard digital design flow

Web Synthesis on steroids

🎼 Docker compose files for various kafka stacks

Identifies and collects data on cc-licensed content across web crawl data and public apis.

granular synthesis plugin part of my bachelors thesis

HL7 Apache Spark Datasource

TPC-H queries in Apache Spark SQL using native DataFrames API

Apache Spark docker container image (Standalone mode)

Intrepyd Model Checker