Similar repositories to lassepe/LiftedTrajectoryGames.jl:

• lassepe/LiftedTrajectoryGames.jl github similar
• mitsuba-renderer/mitsuba3 github similar
• lassepe/TrajectoryGamesBase.jl github similar
• lassepe/DifferentiableTrajectoryOptimization.jl github similar
• 4estlaine/TensorGames.jl github similar
• qsh-zh/gDDIM github similar
• mykelk/pomdpland github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• danistefanovic/build-your-own-x github similar
• sarsko/CreuSAT github similar
• rafaqz/Interfaces.jl github similar
• oxfordcontrol/Clarabel.jl github similar
• supabase/pg_jsonschema github similar
• redballoonsecurity/ofrak github similar
• schmidma/NoteMD github similar
• neel-krishnaswami/proof-checker github similar
• JuliaPlanners/SymbolicMDPs.jl github similar
• CertiGraph/CertiGC github similar
• tkf/ThreadedArrays.jl github similar
• voodoos/elpi-js github similar
• peng1999/PkgDependency.jl github similar
• milankl/Sherlogs.jl github similar
• JuliaFolds/FoldsChainRules.jl github similar
• bakirtzisg/AlgebraicRL.jl github similar
• yallop/generalized-partial-computation-bibliography github similar
• lecopivo/lean4-karray github similar
• thierry-martinez/metaquot github similar
• Weizhe-Chen/attentive_kernels github similar
• CertiGraph/CertiGraph github similar
• JuliaServices/Figgy.jl github similar
• ai4energy/OptControl.jl github similar
• arthurpaulino/NumLean github similar
• codyroux/hoare-toy github similar
• joehendrix/lean-sat-checker github similar
• mvr/at github similar
• JuliaPOMDP/quickpomdps github similar
• PRBonn/PartiallyObservedInverseGames.jl github similar
• lorenzoh/Invariants.jl github similar
• math-comp/multinomials github similar