Alternatives and similar repositories for oneil

Users that are interested in oneil are comparing it to the libraries listed below

• elodin-sys / elodin
  Elodin simulation and flight software monorepo.
  ☆485Updated this week
• dahlend / kete
  Kete Solar System Survey tools
  ☆119Updated last week
• navgurukul / galileo
  Hapi?
  ☆14Updated 5 years ago
• ivanbelenky / RL
  R.L. methods and techniques.
  ☆200Updated 11 months ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆379Updated 4 months ago
• Caltech-IPAC / kete
  Kete Solar System Survey tools
  ☆98Updated 2 months ago
• n7space / aerugo
  Safety-critical applications oriented Real-Time Operating System written in Rust
  ☆291Updated last year
• jstrieb / poker-chipper
  Optimally allocate poker chips using constrained, nonlinear optimization
  ☆174Updated 10 months ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆45Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated last month
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated last week
• tylerni7 / missile-tid
  Identifying missile launch signatures from traveling ionic disturbances using GPS data
  ☆136Updated last year
• cmoog / traderjoes
  Price tracking program and website for Trader Joe's, updated daily.
  ☆228Updated 5 months ago
• Rishit-dagli / Nystromformer
  An implementation of the Nyströmformer, using Nystrom method to approximate standard self attention
  ☆56Updated 3 years ago
• open-space-collective / open-space-toolkit
  Collection of versatile software libraries for space engineering applications.
  ☆190Updated last month
• cfusting / conditional-growth
  Grow virtual creatures in static and physics simulated environments.
  ☆53Updated last year
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆276Updated last month
• kutinden / buyingacar
  ☆156Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 6 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆342Updated this week
• N8BWert / ncomm
  Node-Based Robotics Framework Written in Rust
  ☆70Updated last year
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year
• google / graph-mining
  ☆707Updated 2 months ago
• tmm1 / taxsim.js
  JS/WebAssembly version of NBER TAXSIM
  ☆22Updated 3 years ago
• ericstoneking / 42
  Simulation for spacecraft attitude control system analysis and design
  ☆406Updated last month
• GavinMendelGleason / blog
  Gavin Mendel-Gleason's blog
  ☆88Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆661Updated 4 months ago
• ambulancja / mariposa
  A toy programming language with time travel
  ☆312Updated last year