-
Notifications
You must be signed in to change notification settings - Fork 4
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Supporting indefinite sums and productions
aiCould be considered for ai assistantCould be considered for ai assistantenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is needednon-aiDo not recommend using ai too much on thisDo not recommend using ai too much on thisnumericalabout the numerical moduleabout the numerical modulerustPull requests that update rust codePull requests that update rust codesymbolicabout the symbolic moduleabout the symbolic moduleStatus: Open.Tracking Issue: Revise rssn Architecture
computeabout the compute moduleabout the compute moduleconstantabout the constant moduleabout the constant moduledependenciesPull requests that update a dependency filePull requests that update a dependency filedocumentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestffi_apisabout the ffi_apis moduleabout the ffi_apis moduleffi_blindingsabout the ffi_blindings moduleabout the ffi_blindings moduleinputabout the input moduleabout the input modulejitabout the jit moduleabout the jit modulenightlyabout nightly featuresabout nightly featuresnon-aiDo not recommend using ai too much on thisDo not recommend using ai too much on thisnumericalabout the numerical moduleabout the numerical moduleoutputabout the output moduleabout the output modulephysicsabout the physics moduleabout the physics modulepluginsabout the plugins moduleabout the plugins modulepreludeabout the prelude moduleabout the prelude modulereleaserssn releasesrssn releasesStatus: Open.Tracking Issue: Replacing raw Expr with handle manager instants using symbollic::handles on the FFI boundary
aiCould be considered for ai assistantCould be considered for ai assistantenhancementNew feature or requestNew feature or requestffi_apisabout the ffi_apis moduleabout the ffi_apis modulegood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededsymbolicabout the symbolic moduleabout the symbolic moduleStatus: Open.Tracking Issue: symbolic::lie_groups_and_algebras Functionalities Expansion
aiCould be considered for ai assistantCould be considered for ai assistantenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededrustPull requests that update rust codePull requests that update rust codesymbolicabout the symbolic moduleabout the symbolic moduleStatus: Open.Tracking Issue: symbolic::group_theory Functionalities Expansion
aiCould be considered for ai assistantCould be considered for ai assistantenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededrustPull requests that update rust codePull requests that update rust codesymbolicabout the symbolic moduleabout the symbolic moduleStatus: Open.Tracking Issue: symbolic::pde Heuristic Algorithms Implementation
aiCould be considered for ai assistantCould be considered for ai assistantenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededrustPull requests that update rust codePull requests that update rust codesymbolicabout the symbolic moduleabout the symbolic moduleStatus: Open.Tracking Issue: symbolic::ode Heuristic Algorithms Implementation
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededrustPull requests that update rust codePull requests that update rust codesymbolicabout the symbolic moduleabout the symbolic moduleStatus: Open.Tracking Issue: Compute Trait Implement for Major Functionalities
aiCould be considered for ai assistantCould be considered for ai assistantcomputeabout the compute moduleabout the compute moduleconstantabout the constant moduleabout the constant moduleenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is needednumericalabout the numerical moduleabout the numerical modulephysicsabout the physics moduleabout the physics modulerustPull requests that update rust codePull requests that update rust codesymbolicabout the symbolic moduleabout the symbolic moduleStatus: Open.Kani Verification
aiCould be considered for ai assistantCould be considered for ai assistantdependenciesPull requests that update a dependency filePull requests that update a dependency filedocumentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestrustPull requests that update rust codePull requests that update rust codeverificationabout the verification moduleabout the verification moduleStatus: Open.RSSN Wiki
aiCould be considered for ai assistantCould be considered for ai assistantdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.Dependency issues: ndarray-argmin&sprs
help wantedExtra attention is neededExtra attention is needednon-aiDo not recommend using ai too much on thisDo not recommend using ai too much on thisStatus: Open.Collaboration Challenge: Leveraging TRS for Multi-Equation Optimization (Advanced CSE/Temporary Variable Introduction)
aiCould be considered for ai assistantCould be considered for ai assistantenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.