Pinned Repositories
unified-planning
The AIPlan4EU Unified Planning Library
SymbolicPlanners.jl
Symbolic planners for problems and domains specified in PDDL.
arbitrary_achievements
bitcoin-core
A modern Bitcoin Core REST and RPC client.
e_oh
ipipe
Cross-platform named-pipe library for Rust
jot
JSON Operational Transformation (JOT)
mathjax-react
React Component Library for MathJax
png.rs
Implementation of PNG in Rust with nom
SymbolicMDPs.jl
MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.
lettuce-program's Repositories
lettuce-program/arbitrary_achievements
lettuce-program/bitcoin-core
A modern Bitcoin Core REST and RPC client.
lettuce-program/e_oh
lettuce-program/ipipe
Cross-platform named-pipe library for Rust
lettuce-program/jot
JSON Operational Transformation (JOT)
lettuce-program/mathjax-react
React Component Library for MathJax
lettuce-program/png.rs
Implementation of PNG in Rust with nom
lettuce-program/SymbolicMDPs.jl
MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.