☆12Oct 22, 2021Updated 5 years ago
Alternatives and similar repositories for interactive-program-synthesis
Users that are interested in interactive-program-synthesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jul 12, 2016Updated 10 years ago
- FPsim: Family Planning Simulator☆10Updated this week
- Full LLVM 3.7 Source Code with SAFECode Project Committed☆11Feb 25, 2017Updated 9 years ago
- The repository for the paper "Predicting in-hospital mortality by combining clinical notes with time-series data"☆12May 23, 2021Updated 5 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 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.
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- A better web app for data structure visualization and tutoring.☆10Jul 5, 2021Updated 5 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- PLS-PM estimation and prediction library☆10Jun 29, 2018Updated 8 years ago
- Code supplementing AI for Good Lab's work on long COVID sequelae using EHR data☆14Aug 17, 2022Updated 4 years ago
- ☆11Jul 31, 2020Updated 6 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Apr 29, 2022Updated 4 years ago
- Code repository for DBMI's EHR foundation model benchmarks.☆13Jul 15, 2026Updated 3 months ago
- A Menu Bar app for macOS and GUI app for WIndows/Linux that allows you to take a screenshot of equations and generate latex code of that …☆11Apr 26, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Jan 2, 2019Updated 7 years ago
- To explain clinical BERT model predictions, we present an approach which leverages integrated gradients to attribute events in medical re…☆11Jul 30, 2025Updated last year
- Manthan for Boolean function synthesis☆36Oct 3, 2026Updated 3 weeks ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 10 months ago
- ☆18Jul 22, 2020Updated 6 years ago
- Collection of small C/C++ libraries☆10Aug 4, 2017Updated 9 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 6 years ago
- Lisp for .NET☆11Apr 21, 2026Updated 6 months 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.
- HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits☆10Aug 5, 2026Updated 2 months ago
- Python implementation of POPDx - Predictions for unseen, rare, and common labels.☆11Jun 26, 2024Updated 2 years ago
- Composable printing of objects.☆11Sep 29, 2022Updated 4 years ago
- A collection of small libraries, both gamedev-related and general-purpose☆13Sep 29, 2026Updated last month
- CVE-2013-2028 python exploit☆19Jun 27, 2020Updated 6 years ago
- Capture the flag - security challenges☆13Feb 29, 2016Updated 10 years ago
- Clojure-style regular expression functions in Common Lisp☆13Feb 11, 2024Updated 2 years ago
- Discuss future project ideas☆12May 10, 2017Updated 9 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 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.
- converts the XML vehicleLocations API from nextbus (buses that have moved in last x minutes) to a stream-like thing☆13Jun 3, 2014Updated 12 years ago
- obesity challenge☆13May 12, 2018Updated 8 years ago
- Rust vectors with type level size☆24Apr 29, 2021Updated 5 years ago
- SIGPLAN website☆13Oct 23, 2026Updated last week
- Pytorch implementation of Med2Vec.☆10Apr 26, 2024Updated 2 years ago
- Keyword Extraction and Analysis Pipeline & Application with KeyBERT and Taipy☆16Apr 18, 2023Updated 3 years ago
- A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.☆15Jan 6, 2022Updated 4 years ago