☆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:
- The repository for the paper "Predicting in-hospital mortality by combining clinical notes with time-series data"☆12May 23, 2021Updated 4 years ago
- [WIP] Interval Analysis on LLVM IR☆12Jul 6, 2020Updated 5 years ago
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Apr 29, 2022Updated 3 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- ☆11Jul 31, 2020Updated 5 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 5 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 7 months ago
- A portable and extensible Common Lisp LOOP implementation☆20Feb 26, 2026Updated 3 weeks ago
- A better web app for data structure visualization and tutoring.☆10Jul 5, 2021Updated 4 years ago
- Clojure-style regular expression functions in Common Lisp☆13Feb 11, 2024Updated 2 years ago
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated last month
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 3 months ago
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Jan 2, 2019Updated 7 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Persistent data structures in Common Lisp☆18Apr 26, 2023Updated 2 years ago
- A general, modular build system.☆18Aug 13, 2025Updated 7 months ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Mar 27, 2020Updated 5 years ago
- R package with HCUP Clinical Classification Software (CCS) mapping to common diagnosis and procedure codes☆17Mar 5, 2025Updated last year
- Python implementation of POPDx - Predictions for unseen, rare, and common labels.☆11Jun 26, 2024Updated last year
- Common Lisp fixed-point number type☆10Jan 6, 2017Updated 9 years ago
- Rust vectors with type level size☆23Apr 29, 2021Updated 4 years ago
- obesity challenge☆13May 12, 2018Updated 7 years ago
- SIGPLAN website☆13Mar 16, 2026Updated last week
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆18Dec 29, 2022Updated 3 years ago
- CVE-2013-2028 python exploit☆20Jun 27, 2020Updated 5 years ago
- python code for BRLTM model☆14Jan 17, 2021Updated 5 years ago
- Pytorch implementation of Med2Vec.☆11Apr 26, 2024Updated last year
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- Clojure-compatible threading/transformation/arrow macros for Common Lisp☆15Jan 14, 2024Updated 2 years ago
- A debugging and testing tool for Clack☆12May 1, 2024Updated last year
- Keyword Extraction and Analysis Pipeline & Application with KeyBERT and Taipy☆17Apr 18, 2023Updated 2 years ago
- Webcomponents the Clojure way☆18Aug 19, 2017Updated 8 years ago
- ☆11Jan 12, 2022Updated 4 years ago
- MetroMaps Release☆16May 8, 2014Updated 11 years ago
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 years ago
- Mechanical Mooc☆47Jun 21, 2023Updated 2 years ago