Program synthesis
☆12May 16, 2016Updated 9 years ago
Alternatives and similar repositories for synth
Users that are interested in synth are comparing it to the libraries listed below
Sorting:
- ☆20Dec 29, 2014Updated 11 years ago
- Exwebrtc - WebRTC for Elixir - a work in progress☆36May 5, 2014Updated 11 years ago
- Automatically exported from code.google.com/p/smhasher☆16Mar 10, 2021Updated 5 years ago
- Main repository for Harvard CS260r 2017.☆12Apr 25, 2017Updated 8 years ago
- Modified version of VAMemory.☆12Dec 22, 2020Updated 5 years ago
- Fast caclulation of the coordinates of the nth point of the Hilbert curve☆16Jan 31, 2019Updated 7 years ago
- COATCheck☆13Nov 4, 2018Updated 7 years ago
- PipeProof☆11Dec 18, 2019Updated 6 years ago
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated 8 months ago
- feedback vertex set solver☆11Nov 1, 2018Updated 7 years ago
- Sample demonstrating the use of tessellation shaders with OpenGLES☆13Jun 5, 2017Updated 8 years ago
- (hopefully) minimal script for build hyprwm/hyprland on Ubuntu oracular☆16Feb 4, 2025Updated last year
- ☆14Nov 11, 2019Updated 6 years ago
- ☆40Apr 17, 2019Updated 6 years ago
- A C language parser built from the scratch, without using compiler generator.☆16Dec 31, 2022Updated 3 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 5 years ago
- [ DEPRECATED ] WebRTC Example☆96Apr 26, 2016Updated 9 years ago
- 🤖 Code for our EMNLP 2022 paper: "BotsTalk: Machine-sourced Framework for Automatic Curation of Large-scale Multi-skill Dialogue Dataset…☆16Oct 7, 2024Updated last year
- Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input☆24Sep 4, 2017Updated 8 years ago
- ☆14Sep 17, 2017Updated 8 years ago
- ☆25Aug 29, 2014Updated 11 years ago
- Random Level Builder that builds random levels for a 2D platformer game in Unity 4.3+☆16Apr 28, 2014Updated 11 years ago
- ☆12Jan 9, 2019Updated 7 years ago
- Cyberpunk 2077 hacking minigame implemented in Unity.☆11Dec 31, 2020Updated 5 years ago
- Chrome and Firefox extension to clean up messy recipe sites. Readability for recipes.☆24Sep 2, 2023Updated 2 years ago
- A stand-alone C version of DrPetter's sfxr synthesizer☆11Aug 26, 2024Updated last year
- Find Unity ManagedStaticReferences☆11Jul 10, 2023Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Jan 11, 2017Updated 9 years ago
- DLL Inject Unity Editor back into games.☆14Sep 26, 2020Updated 5 years ago
- These are the various assignments that were done as a part of the Compiler Design Laboratory☆15May 18, 2018Updated 7 years ago
- A Convolutional Neural Network For Multi-scale Taxi Trajectory Prediction☆14Dec 13, 2018Updated 7 years ago
- Repository for subjective and objective evaluation of source separation algorithms☆12Apr 18, 2018Updated 7 years ago
- UNMAINTAINED: See celluloid/celluloid#779☆48Aug 21, 2018Updated 7 years ago
- WZ library for Golang applications☆28Sep 16, 2018Updated 7 years ago
- Gradient noise generators in C (perlin and simplex)☆12Dec 18, 2012Updated 13 years ago
- Code and data for "Medical Dialogue Generation via Dual Flow Modeling" (ACL 2023 Findings)☆13Nov 22, 2023Updated 2 years ago
- A sample Unity project to handle camera movement on pre-rendered background games. The technique is known as 'Ken Burns' effect.☆11Apr 6, 2022Updated 3 years ago
- 🐳 PyLoader: An asynchronous Python dataloader for loading big datasets, supporting PyTorch and TensorFlow 2.x.☆11Aug 29, 2021Updated 4 years ago
- GoNative project: formal machines models in Coq☆37Aug 3, 2017Updated 8 years ago