Stars
2
stars
written in Haskell
Clear filter
Python backend for Idris (generates Python source, not bytecode).
Haskell client library for the ROS robotics framework.