bhaskara / programmable-reinforcement-learning
Reinforcement learning algorithms constrained by a partial program
☆19Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for programmable-reinforcement-learning
- MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and cons…☆63Updated last year
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆46Updated 7 years ago
- Portable implementation of quasiquote for Common Lisp☆27Updated 4 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 7 years ago
- Data Structures and streaming algorithms for Common Lisp.☆46Updated 3 weeks ago
- ☆76Updated last year
- Pure math functions useful for games, 3D, and GL in general.☆17Updated 8 years ago
- Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.☆53Updated 3 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 8 years ago
- automatic differentiation library for common lisp☆19Updated 11 years ago
- Reactive computation tree library for non-blocking concurrent Common Lisp☆50Updated 2 years ago
- User-defined constant folding facility☆21Updated 5 years ago
- Guile numerical arrays and tensor extension☆53Updated 11 months ago
- UFFI bindings to the GD graphics library☆16Updated 4 years ago
- A Common Lisp Bayesian Network Inference Engine☆26Updated 11 years ago
- MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS b…☆69Updated last year
- A matrix library for common lisp☆37Updated 3 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- CL21's spin-off project that provides neat APIs for regular expressions.☆15Updated 7 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- OpenCL binding for Common Lisp☆48Updated 7 years ago
- Common Lisp library that facilitates working with Common Lisp arrays.☆36Updated last year
- Lisp Linear Algebra☆91Updated last year
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆39Updated 7 months ago
- S-expression to OpenCL C☆47Updated 5 years ago
- Common Lisp distributed computation framework implemented using Swank Client☆43Updated 9 months ago
- A literate programming system for Common Lisp.☆22Updated 3 years ago