first-order topic

VIP cheatsheets for Stanford's CME 102 Ordinary Differential Equations for Engineers

shervinea

A Julia package that solves Linearly Constrained Separable Optimization Problems using ADMM.

JuliaFirstOrder

A parser of relational predicate logic & truth tree solver, written in Rust.

ixjf