neural sketch project, currently in generative regex, list transformation (deepcoder), and text editing (robustfill) domains
☆24Mar 4, 2020Updated 5 years ago
Alternatives and similar repositories for neural_sketch
Users that are interested in neural_sketch are comparing it to the libraries listed below
Sorting:
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆39May 21, 2020Updated 5 years ago
- 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
- A collection of bioinformatics algorithms☆12Aug 20, 2022Updated 3 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Dec 7, 2020Updated 5 years ago
- A static site generator that powers my blog☆19Jun 28, 2025Updated 8 months ago
- larc solving with gpt4☆20May 25, 2023Updated 2 years ago
- PyTorch implementation of Robust Fill☆18Mar 25, 2023Updated 2 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Apr 17, 2021Updated 4 years ago
- ☆20May 12, 2022Updated 3 years ago
- ☆23Oct 31, 2023Updated 2 years ago
- an implementation of "code2vec: Learning Distributed Representations of Code"☆30Feb 5, 2026Updated 3 weeks ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Deepcoder paper implementation☆120May 2, 2023Updated 2 years ago
- PassWord List Maker☆17Oct 29, 2018Updated 7 years ago
- ☆44Apr 5, 2023Updated 2 years ago
- Computing calibrated prediction intervals for neural network regressors☆10May 28, 2019Updated 6 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- Just a single binary no config file Chromium(64bit) updater.☆11May 5, 2018Updated 7 years ago
- ☆12Feb 22, 2021Updated 5 years ago
- code for polite☆11Feb 28, 2024Updated 2 years ago
- Cryptographic Asymmetric Secure Storage Infrastructure☆10Jan 6, 2023Updated 3 years ago
- Code for the paper "A Boolean Task Algebra For Reinforcement Learning"☆11Dec 8, 2022Updated 3 years ago
- FlowLLM: Simplifying LLM-based HTTP/MCP Service Development☆32Feb 18, 2026Updated last week
- [ICLR 2024] This is the official implementation for the paper: "Beyond imitation: Leveraging fine-grained quality signals for alignment"☆10May 5, 2024Updated last year
- Implementation of Implicit Reparameterization Trick☆11Dec 2, 2024Updated last year
- Language-annotated Abstraction and Reasoning Corpus☆99May 20, 2023Updated 2 years ago
- ☆15Jan 24, 2019Updated 7 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆39Mar 6, 2023Updated 2 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Jan 18, 2021Updated 5 years ago
- Tamper resistant, off-site audit logging for WordPress☆14Jan 14, 2026Updated last month
- Julia implementation of flash-attention operation for neural networks.☆11May 31, 2023Updated 2 years ago
- Jax implementation of VIT-VQGAN☆10Jan 25, 2024Updated 2 years ago
- Semantic Scaffolds for Pseudocode-to-Code Generation (accepted by ACL 2020)☆14Jun 7, 2021Updated 4 years ago
- قائمة الفلاتر العربية المكمِّلة للقائمة الفرنسية و الإنجليزية لحظر الإعلانات و المخصص للإستخدام مع إضافات منع الإعلانات التي تدعم بنية ال…☆13Dec 31, 2025Updated 2 months ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Typeclass for array types☆19Apr 7, 2025Updated 10 months ago
- Official PyTorch implementation For Sharpness-Aware Active Learning [ICML 2023]☆11Apr 30, 2024Updated last year
- Build-to-Order BLAS☆12Apr 9, 2019Updated 6 years ago