Guillaume Bagan's repositories
purescript-pha
A simple and fast Elm-like library
graphparams
compute and visualize graph parameters
purescript-z3
Purescript FFI bindings for the Z3 theorem prover
purescript-js-maps
FFI bindings for Javascript Maps
purescript-lp
Linear programming library in Purescript
valise-mam
Valise de Maths Ă Modeler
Language:PureScript000
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
NOASSERTION000
petgraph
Graph data structure library for Rust.
Language:RustApache-2.0000
purescript-arrays
Array utility functions
Language:PureScriptBSD-3-Clause000
purescript-canvas
Canvas bindings for PureScript
Language:PureScriptMIT000
purescript-filterable
Classes for filterable and witherable data structures
MIT000
Language:PureScriptMIT000
purescript-object-maps
Map-like data structure with stable insertion order
Language:PureScriptMIT000
purescript-rationals
Rational numbers for PureScript
Language:PureScript000
purescript-relude
An extended prelude for my personal projects
Language:PureScriptMIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000