acowley / roshask
Haskell client library for the ROS robotics framework.
☆107Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for roshask
- Haskell binding to OpenCV-3.x☆154Updated last year
- A DSL for embedded hard realtime applications.☆271Updated 7 years ago
- Low-dimensional linear algebra primitives for Haskell.☆202Updated last month
- Haskell bindings for Python's Matplotlib☆85Updated 7 months ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated 2 months ago
- The missing tutorial module for the lens library☆81Updated 6 months ago
- A simple Idris program to blink the LED on an Arduino☆56Updated 3 years ago
- Numerical is the core library for Numerical Haskell☆136Updated 4 months ago
- State-space estimation algorithms and models☆26Updated 8 years ago
- Type-safe, type-level and stateless Haskell graphics framework☆109Updated 7 years ago
- Data frames for tabular data.☆298Updated last year
- Typed and composable spreadsheets☆186Updated 2 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- A lightweight (but compatible with ‘lens’) lenses library☆285Updated 7 months ago
- Monad Transformers and Classes☆78Updated 5 years ago
- A file watcher and development tool.☆128Updated last week
- Let GHC prove program equations for you☆145Updated 6 years ago
- A multi-method simulation library☆79Updated 4 months ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆209Updated 5 years ago
- A Haskell API into HTML5 Canvas☆72Updated 3 weeks ago
- Haskell-C++ Foreign Function Interface Generator☆141Updated last year
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 5 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆79Updated 9 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Fast Haskell XML parser☆120Updated last year
- Generically derive traversals, lenses, and prisms.☆438Updated 7 months ago
- Haskell packages for computer vision, image processing, and pattern recognition☆94Updated 7 years ago
- constraint level if statements☆110Updated 6 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆104Updated 3 weeks ago