An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with first-order

A curated list of projects in awesome lists tagged with first-order .

https://github.com/shervinea/stanford-cme-102-ordinary-differential-equations

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

algebra applications calculus first-order ordinary-differential-equations second-order trigonometry

Last synced: 21 Jan 2026

https://github.com/ixjf/logic-rs

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

consistency contingency contradiction first first-order formal-validity formulas logic order parser pest predicate relational rust tautology truth-tree validity wasm

Last synced: 09 May 2025

https://github.com/serhaturtis/ml-first_order_hmm_pos_tagger

Part-Of-Speech tagger implemented with first order Hidden Markov Model

first-order hidden-markov-model hmm part-of-speech tagging viterbi-algorithm

Last synced: 12 May 2026