ReubenJ

PhD student in Algorithmics at TU Delft

@AlgTUDelftDelft, Netherlands

Pinned Repositories

Herb.jl
A library for defining and efficiently solving program synthesis tasks in Julia.
Language:Julia25 4 613
AbstractTrees.jl
Abstract julia interfaces for working with trees
Language:Julia00
awesome-research-software-registries
Awesome list of Research Software Registries
00
biodivine-boolean-models
A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
Language:TeX00
BioModelAnalyzer
BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them
Language:C0 0 00
chuffed-mz-install-patch
The Chuffed CP solver
Language:C++00
contributors
GitHub Action that given an organization or repository, produces information about the contributors over the specified time period.
Language:Python00
cTORS
cTORS is a c++ implementation of TORS, a train shunting and servicing simulator
Language:C++00

ReubenJ's Repositories

ReubenJ/AbstractTrees.jl
Abstract julia interfaces for working with trees
Language:Julia00
ReubenJ/awesome-research-software-registries
Awesome list of Research Software Registries
00
ReubenJ/biodivine-boolean-models
A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
Language:TeX00
ReubenJ/BioModelAnalyzer
BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them
Language:C0 0 00
ReubenJ/contributors
GitHub Action that given an organization or repository, produces information about the contributors over the specified time period.
Language:Python00
ReubenJ/cTORS
cTORS is a c++ implementation of TORS, a train shunting and servicing simulator
Language:C++00
ReubenJ/DapperInHerb
00
ReubenJ/DataStructures.jl
Julia implementation of Data structures
Language:Julia00
ReubenJ/C2C
Language:Julia
ReubenJ/GraphDynamicalSystems.jl
Language:Julia
ReubenJ/Herb.jl
A library for defining and efficiently solving program synthesis tasks in Julia.
ReubenJ/KappaTools
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
Language:OCaml0 0
ReubenJ/MetaGraphsNext.jl
A package for graphs with vertex labels and metadata in Julia
Language:Julia
ReubenJ/MLStyle.jl
Julia functional programming infrastructures and metaprogramming facilities
Language:Julia0 0
ReubenJ/PDDL.jl
Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
Language:Julia0 0
ReubenJ/pddlgym
Convert a PDDL domain into an OpenAI Gym environment.
Language:PDDL
ReubenJ/pddlgym_planners
PDDL planner interface for PDDLGym.
Language:Python0 0
ReubenJ/PkgDependency.jl
Show dependency tree of Julia project
Language:Julia
ReubenJ/PlanningDomains.jl
A repository of PDDL domains and problems.
Language:Julia
ReubenJ/Pluto.jl
🎈 Simple reactive notebooks for Julia
Language:JavaScript
ReubenJ/PlutoTeachingTools.jl
Functions useful when using Pluto in teaching.
Language:Julia0 0
ReubenJ/robust-planning-environment
A docker container containing TORS, and dependencies to run inference using Gen in Julia
Language:Dockerfile
ReubenJ/RuntimeGeneratedFunctions.jl
Functions generated at runtime without world-age issues or overhead
ReubenJ/SExpressions.jl
Assorted s-expression utilities for Julia
Language:Julia0 0
ReubenJ/Shuntyard-Instance-Generator
Language:Python
ReubenJ/SoleLogics.jl
Computational logic in Julia!
ReubenJ/TORS-instance-converter
Language:Python1 0
ReubenJ/typst-templates
A list of paper templates in the area of machine learning.
ReubenJ/uncertain_pddlgym
Language:PDDL
ReubenJ/Yggdrasil
Collection of builder repositories for BinaryBuilder.jl
Language:Fortran