☆12Oct 22, 2021Updated 4 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:
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 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
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- A better web app for data structure visualization and tutoring.☆10Jul 5, 2021Updated 5 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Apr 29, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Jul 31, 2020Updated 5 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 6 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 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 11 months ago
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated 5 months ago
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Jan 2, 2019Updated 7 years ago
- Clojure-style regular expression functions in Common Lisp☆13Feb 11, 2024Updated 2 years ago
- Persistent data structures in Common Lisp☆19Apr 26, 2023Updated 3 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 7 months 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.
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- A general, modular build system.☆18May 17, 2026Updated 2 months ago
- Rust vectors with type level size☆24Apr 29, 2021Updated 5 years ago
- ☆19Mar 29, 2026Updated 3 months ago
- Common Lisp fixed-point number type☆10Jan 6, 2017Updated 9 years ago
- Python implementation of POPDx - Predictions for unseen, rare, and common labels.☆11Jun 26, 2024Updated 2 years ago
- LitSift: Seamlessly search, sift, and export results from Semantic Scholar to BibTeX/CSV☆15May 27, 2026Updated last month
- CVE-2013-2028 python exploit☆19Jun 27, 2020Updated 6 years ago
- R package with HCUP Clinical Classification Software (CCS) mapping to common diagnosis and procedure codes☆17Mar 5, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆13Dec 31, 2024Updated last year
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- A tiny, modern kernel on real hardware☆23Dec 1, 2024Updated last year
- SIGPLAN website☆13Jul 16, 2026Updated last week
- obesity challenge☆13May 12, 2018Updated 8 years ago
- python code for BRLTM model☆14Jan 17, 2021Updated 5 years ago
- Webcomponents the Clojure way☆18Aug 19, 2017Updated 8 years ago
- Pytorch implementation of Med2Vec.☆11Apr 26, 2024Updated 2 years ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A debugging and testing tool for Clack☆12May 1, 2024Updated 2 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 9 years ago
- Utilities for numerical programming☆14Mar 4, 2026Updated 4 months ago
- ☆11Jan 12, 2022Updated 4 years ago
- Gravity project FHIR implementation guide covering social determinants of health, including data capture, recording SDOH issues and makin…☆19Updated this week
- X86 disassembler benchmark☆10Jun 11, 2021Updated 5 years ago
- When code is a function of type.☆12Nov 19, 2017Updated 8 years ago