fpiot / arduino-atsLinks
ATS programing on Arduino
☆57Updated 9 years ago
Alternatives and similar repositories for arduino-ats
Users that are interested in arduino-ats are comparing it to the libraries listed below
Sorting:
- ☆21Updated 9 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Build tool for ATS.☆41Updated 3 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- 2048 in Idris☆122Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Type provider library for Idris☆94Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Model-view-controller☆64Updated 2 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- A port of QuickCheck to Idris☆59Updated 7 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- ☆41Updated 7 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago