Search results

ode-midpoint

Integrate a system of ODEs using the Second Order Runge-Kutta (Midpoint) method

• scijs
• ode
• midpoint
• runge-kutta
• integration
• differential-equations
• calculus
• first-order

rreusser

published 1.0.6 • 8 years agopublished 1.0.6 8 years ago

ode-euler

Integrate a system of ODEs using the Euler method

• scijs
• ode
• euler
• integration
• differential-equations
• calculus
• first-order

rreusser

published 1.0.6 • 8 years agopublished 1.0.6 8 years ago

folproof

A first-order logic proof verifier

• fol
• folproof
• proof
• logic
• language
• first-order

cdibbs

published 0.1.1 • 9 years agopublished 0.1.1 9 years ago

@hyper.fun/fa-first-order

👉 https://hyper.fun/c/fa-first-order/1.3.0

• hyper-function-component
• hfc
• fa
• font-awesome
• first-order

terryfei

published 1.3.0 • a year agopublished 1.3.0 a year ago