Greg Horn's repositories
Plot-ho-matic
easy real-time line plotting in haskell
spatial-math
haskell functions for 3d math including quaternions, euler angles, dcms, etc
casadi-bindings
haskell bindings to the CasADi algorithmic differentiation and optimal control library
debian-coinor-ipopt
git-buildpackage repo for ipopt
generic-accessors
list or Tree of (String, a -> Double) pairs for generics
bindings-gdal
Haskell bindings to the GDAL library
c-compile-stdcxx-thing
temp repo to try to reproduce problem
Clarabel.cpp
Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.
cvxpygen
Code generation with CVXPY
Haskell-Optparse-Generic-Library
Auto-generate a command-line parser for your datatype
hmstl
A simple program to convert a grayscale heightmap image to an STL triangle mesh.
pybind11_bazel
Bazel wrapper around the pybind11 repository
reflex-skeleton
learning how to do a gtk gui with a reflex event loop
rules_haskell
Haskell rules for Bazel.
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.