Foofah: programming-by-example data transformation program synthesizer
☆28Apr 23, 2018Updated 8 years ago
Alternatives and similar repositories for foofah
Users that are interested in foofah are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 8 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Nov 21, 2022Updated 3 years ago
- ☆10May 24, 2021Updated 5 years ago
- Neural Algorithmic Reasoning Tutorial☆11Dec 21, 2022Updated 3 years ago
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27May 29, 2026Updated last month
- A repository of workshop slides used in SWEN30006 - Software Modelling and Design workshops.☆13Aug 19, 2024Updated last year
- A mighty small, 45% ortholinear keyboard☆20Sep 3, 2020Updated 5 years ago
- Multi Stage Attentional UNet☆11Dec 23, 2021Updated 4 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 7 years ago
- ☆10Oct 21, 2021Updated 4 years ago
- An automatic machine learning system☆29Jan 9, 2024Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆18Nov 24, 2018Updated 7 years ago
- Evaluation of the Layoutlm model on the CORD dataset☆32Feb 4, 2022Updated 4 years ago
- The 10 millionth JavaScript Scheme interpreter.☆15Feb 14, 2020Updated 6 years ago
- This tool is a Program Dependence Graph generator for a given input file in the programming language Java that can be outputed as a dot f…☆23Dec 29, 2019Updated 6 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Geometry Utility Functions☆12Nov 28, 2016Updated 9 years ago
- ☆32Jun 16, 2021Updated 5 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Oct 23, 2022Updated 3 years ago
- seminar series on data science, reproducible science and open source by @maxheld83☆15Apr 30, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- general-purpose fast, stateless, and deterministic feature extractor written in golang for use in machine learning☆12Mar 17, 2018Updated 8 years ago
- Generate triangle meshes in the shape of trees, composed out of simple tetrahedron shapes.☆11May 14, 2017Updated 9 years ago
- For the new Michigan Hackers website!☆10Oct 18, 2023Updated 2 years ago
- Teaching a humanoid to walk(ish), then displaying in your browser (using tensorflow.js and reinforcement learning)☆10Sep 7, 2020Updated 5 years ago
- GAMELAN (Game Mengenal Budaya Nusantara)☆12Jul 13, 2018Updated 8 years ago
- A game server for Cube 2: Sauerbraten.☆13Oct 5, 2025Updated 9 months ago
- How to convert MDS trip data to anonymized open data for city governments.☆10Jul 6, 2020Updated 6 years ago
- A codec for Go structs with support for chainable encoding/decoding hooks.☆12Sep 15, 2023Updated 2 years ago
- A simple in-memory graph database (wrapper for python-igraph)☆11Jul 6, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Informed Rapidly-exploring Random Tree-Star with C# Programming☆10Nov 6, 2021Updated 4 years ago
- Metacognitive Integrated Dual-Cycle Architecture, Version 1.4☆10Jul 27, 2018Updated 7 years ago
- Static Binary Analysis Framework☆48Jul 6, 2026Updated 2 weeks ago
- The General Mediation Engine (GME) is a software framework for producing interactive narratives using narrative mediation.☆10Feb 4, 2018Updated 8 years ago
- A tiny library for retrying failed operations.☆16Dec 24, 2018Updated 7 years ago
- Factorio-style base building game with HTML5+JavaScript☆14Jun 20, 2021Updated 5 years ago
- This is a program that reads in vehicle dynamics data from CSV files and outputs them into useful charts to help analyze data.☆13Dec 18, 2023Updated 2 years ago