Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
☆39Sep 16, 2025Updated 5 months ago
Alternatives and similar repositories for leaps
Users that are interested in leaps are comparing it to the libraries listed below
Sorting:
- ☆25Nov 23, 2021Updated 4 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆39Mar 6, 2023Updated 3 years ago
- A library for program induction and learning representations.☆32Dec 18, 2023Updated 2 years ago
- ☆44Apr 5, 2023Updated 2 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆14Jun 26, 2025Updated 8 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A comprehensive set of colab notebooks to showcase the principal differences among XAI techniques☆12Aug 4, 2025Updated 7 months ago
- Code for the paper "A Boolean Task Algebra For Reinforcement Learning"☆11Dec 8, 2022Updated 3 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.☆13Apr 19, 2015Updated 10 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Oct 31, 2025Updated 4 months ago
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Feb 7, 2024Updated 2 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Stereo lithography file support for Rust.☆12Jul 29, 2023Updated 2 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Includes a file with zstd compression in Rust☆13Feb 17, 2023Updated 3 years ago
- Lab Book Database Framework with Input, Output, and Reporting Functions☆14Jul 18, 2022Updated 3 years ago
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated last year
- C Compiler written in WASI☆11Jun 14, 2020Updated 5 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Bash-style pipelining for Python generators.☆17Apr 20, 2011Updated 14 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- LTeX+ Language Server support for Zed☆16Dec 1, 2025Updated 3 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- ☆13Updated this week
- A Python package for analysis of geometric morphometric data.☆10Jun 7, 2018Updated 7 years ago
- Download SoundCloud artists in parallel☆10Jun 4, 2025Updated 9 months ago
- Bayesian scaling laws for in-context learning.☆15Mar 12, 2025Updated 11 months ago
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- Faithful Python implementation of the paper "Towards Deep Symbolic Reinforcement Learning" by Garnelo et al.☆13Mar 23, 2021Updated 4 years ago
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 10 years ago
- Read physical page locations from arbitrary Linux programs☆13Jun 20, 2017Updated 8 years ago
- ☆10May 24, 2021Updated 4 years ago