Repository Index

Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

• csharp
• algebra
• integration
• latex

Algebraic Multigrid Solvers in Python

• amg
• solver
• python
• multigrid

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

• embedded-optimization
• nonconvex
• model-predictive-control
• rust-library

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Logic programming in Swift

• swift
• kanren
• logic-programming
• solver