☆13Jul 22, 2021Updated 5 years ago
Alternatives and similar repositories for math_prog_synth_env
Users that are interested in math_prog_synth_env are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool to generate image dataset for sequences of handwritten digits using MNIST database☆12Nov 1, 2018Updated 7 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- Scrappy demos that I put together while reading http://natureofcode.com/☆10Mar 5, 2015Updated 11 years ago
- Official Pytorch and JAX implementation of "Efficient-VDVAE: Less is more"☆200Aug 15, 2022Updated 4 years ago
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Nov 25, 2015Updated 10 years ago
- A tutorial using Tensorflow and Atlas for performing/debugging image segmentation with a deep learning model☆10Nov 21, 2022Updated 3 years ago
- SeqGAN but with more bells and whistles☆24Feb 15, 2018Updated 8 years ago
- ☆16Dec 9, 2017Updated 8 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆19May 23, 2024Updated 2 years ago
- Decoupled Neural Interfaces Using Synthetic Gradients - under develeopment☆11Jun 27, 2025Updated last year
- OpenAI MountainCar-v0 DeepRL-based solutions (DQN, DuelingDQN, D3QN)☆24Aug 11, 2021Updated 5 years ago
- Log to W&B from Julia☆12Jun 13, 2022Updated 4 years ago
- Docker containers of baseline agents for the Crafter environment☆30Dec 14, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Simple broker that handles all message types and participates in markets☆10Apr 10, 2025Updated last year
- Data Privacy - CSCI 6900, Fall '16☆11Jan 27, 2018Updated 8 years ago
- ☆12Jan 10, 2023Updated 3 years ago
- A collection of utilities for machine learning experiments.☆11Jan 8, 2026Updated 9 months ago
- This repository contains the source code, models and data files for the work titled: "Unsupervised Image Style Embeddings for Retrieval a…☆13May 29, 2021Updated 5 years ago
- ☆10Aug 17, 2022Updated 4 years ago
- Contains modules that will be useful as part of a hyperaudio.js library, used by developers to create applications.☆23Dec 3, 2018Updated 7 years ago
- Animal-AI 3☆66Apr 14, 2023Updated 3 years ago
- ☆12Apr 10, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Differential privacy implementation in the Java family of languages (Java, Kotlin, Scala etc...)☆11Aug 31, 2020Updated 6 years ago
- ☆13May 16, 2019Updated 7 years ago
- emoji-based artificial life, coz why not☆24Nov 30, 2015Updated 10 years ago
- Deep RL agents with PyTorch☆35Sep 25, 2021Updated 5 years ago
- Play with Charts☆13Jul 7, 2023Updated 3 years ago
- Scrape Reserve America for your favorite campsite☆20Nov 5, 2019Updated 6 years ago
- SpectralClustering_RandomBinning (SC_RB) is a simple code for scaling up spectral clustering on large-scale datasets.☆12Jan 17, 2019Updated 7 years ago
- Asymmetric methods for partially observable reinforcement learning☆10Jun 9, 2025Updated last year
- Profiling epigenetic age in single cells☆45Dec 11, 2021Updated 4 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.
- [ICLR 2022] Linking Emergent and Natural Languages via Corpus Transfer☆32Jun 2, 2024Updated 2 years ago
- A description of the relationship between databases, collaboration and Kripke☆28Nov 8, 2021Updated 4 years ago
- A demo that uses the Soundcloud API to retrieve audio and data, jPlayer to play the audio and Popcorn.js to trigger events at appropriate…☆29Sep 15, 2011Updated 15 years ago
- ☆11Mar 29, 2025Updated last year
- POMDP wrappers for OpenAI Gym☆15Nov 4, 2019Updated 6 years ago
- Agent Zero RL Framework☆15Nov 22, 2024Updated last year
- This repository contains the resources used for presentation/discussion in weekly iRE Lab meetings.☆14Sep 8, 2017Updated 9 years ago