100 Open source projects that are alternatives of or similar to Imitator

Links to tools by subject

A compiler for automatically re-targeting sequential Java code to Apache Spark.

The Git repository for the mCRL2 toolset.

Memory consistency modelling using Alloy

VHDL-2008 Support Library

System for synthesizing Java API idioms, powered by Neural Sketch Learning

Specify and synthesize systems using symbolic algorithms

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

TLA+ language support for Visual Studio Code

🔥 Synthesis is Meteor + Polymer

Read-only mirror of the Klever Git repository

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

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

A multi-formalism, multi-solution model-checker centered on the language GAL

Official TP-GAN Tensorflow implementation for paper "Beyond Face Rotation: Global and Local Perception GAN for Photorealistic and Identity Preserving Frontal View Synthesis"

Reads a state transition system and performs property checking

A creative coding library.

A symbolic model checker for Dynamic Epistemic Logic.

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

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

Scripts to build and use docker images including GHDL

lessampler is a Singing Voice Synthesizer

A small stack-based audio language.

AHX player web interface

Learning-Based View Synthesis for Light Field Cameras - Pytorch

Audio rendering software, based on UGen graphs. Issue tracker: https://codeberg.org/sciss/FScape-next/issues

Kani Rust Verifier

An abstraction library for interfacing EDA tools

Local Interpretable Model-Agnostic Explanations (R port of original Python package)

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

A JSON library implemented in VHDL.

SeaHorn Verification Framework

Bird Sound Synthesis based on AM+FM

Code for paper "Synthesizing the preferred inputs for neurons in neural networks via deep generator networks"

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

openFrameworks addon for audio synthesis and generative music

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

My accurate Yamaha DX-7 clone. Programmed in Supercollider.

Verified message-passing programs in Dotty

Official Tensorflow implementation of "Symmetrical Synthesis for Deep Metric Learning" (AAAI 2020)

my supercollider codes, version history is at the branches

model-describer : Making machine learning interpretable to humans

Web Synthesis on steroids

granular synthesis plugin part of my bachelors thesis

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

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Extensions for Csound including algorithmic composition, Android app, and WebAssembly.

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

Different TLA+ specifications, mostly for learning purposes

Verilog to Routing -- Open Source CAD Flow for FPGA Research

Cross EDA Abstraction and Automation

Static checker for Java

Optimize floating-point expressions for accuracy

Analog Modelling Synthesizer

This is a tutorial on standard digital design flow

A lightweight music DSP library.

Python DSP module

Optimize floating-point expressions for accuracy

Concuerror is a stateless model checking tool for Erlang programs.

Intrepyd Model Checker