Alternatives and similar repositories for arduino-ats

Users that are interested in arduino-ats are comparing it to the libraries listed below

• Hibou57 / PostiATS-Utilities

  View on GitHub
  Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)
  ☆17Aug 6, 2018Updated 7 years ago
• metasepi / c2ats

  View on GitHub
  generate ATS interface from C code
  ☆20Dec 31, 2016Updated 9 years ago
• xlq / aos

  View on GitHub
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆47Mar 29, 2012Updated 13 years ago
• chrisdone-archive / ats-examples

  View on GitHub
  Examples from Introduction to Programming in ATS
  ☆26Sep 28, 2014Updated 11 years ago
• githwxi / ATS-Postiats

  View on GitHub
  ATS2: Unleashing the Potentials of Types and Templates
  ☆383Jun 10, 2025Updated 8 months ago
• githwxi / ATS-Postiats-contrib

  View on GitHub
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆50Aug 3, 2020Updated 5 years ago
• githwxi / ATS-Temptory

  View on GitHub
  For supporting template-based programming
  ☆23Jun 21, 2020Updated 5 years ago
• vmchale / atspkg

  View on GitHub
  Build tool for ATS.
  ☆42Apr 11, 2022Updated 3 years ago
• doublec / ats-reference

  View on GitHub
  Unofficial reference documentation for ATS programming language libraries
  ☆15Jun 27, 2012Updated 13 years ago
• githwxi / ATS-Xanadu

  View on GitHub
  Bootstrapping ATS3
  ☆245Feb 9, 2026Updated last week
• githwxi / ATS-Postiats-test

  View on GitHub
  This repository is primarily for testing ATS2 on various platforms
  ☆11Aug 3, 2020Updated 5 years ago
• deech / LeftPad

  View on GitHub
  ☆23Dec 6, 2017Updated 8 years ago
• puffnfresh / atsboot

  View on GitHub
  A tiny 32 bit kernel written in ATS
  ☆26May 4, 2014Updated 11 years ago
• deech / treap-ats

  View on GitHub
  ☆13May 25, 2021Updated 4 years ago
• deech / ATS-Strange-Loop-Talk

  View on GitHub
  ☆47Oct 1, 2017Updated 8 years ago
• coq-ext-lib / coq-compile

  View on GitHub
  A compiler for Coq
  ☆26Feb 22, 2013Updated 12 years ago
• owickstrom / fast-and-fearless-evolution-of-server-side-webapps

  View on GitHub
  Slides and code examples for a talk
  ☆22Dec 19, 2017Updated 8 years ago
• jmchapman / Relative-Monads

  View on GitHub
  Relative Monad Library for Agda
  ☆24May 29, 2019Updated 6 years ago
• sparverius / ats-acc

  View on GitHub
  Pretty-print error messages of the ATS Compiler
  ☆37Jun 28, 2019Updated 6 years ago
• talex5 / tla

  View on GitHub
  A Dockerfile for building the TLA+ tools
  ☆13Dec 30, 2018Updated 7 years ago
• prowdsponsor / ig

  View on GitHub
  Bindings to Instagram's API
  ☆11Feb 19, 2018Updated 7 years ago
• cideM / dhall-alacritty

  View on GitHub
  Dhall types and default values for the alacritty terminal emulator
  ☆12May 9, 2021Updated 4 years ago
• argent0 / haskell-ml-benchmark

  View on GitHub
  Comparing Different Stochastic Gradien Descent implementations in Haskell against Python
  ☆10Jul 25, 2016Updated 9 years ago
• google / btls

  View on GitHub
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Dec 21, 2018Updated 7 years ago
• iyus / simple-modbus

  View on GitHub
  Simple Modbus Library for Arduino
  ☆10Jun 29, 2015Updated 10 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• yallop / fomega

  View on GitHub
  System Fω interpreter for use in Advanced Functional Programming course
  ☆68Oct 16, 2023Updated 2 years ago
• haskell-backpack / backpack-str

  View on GitHub
  The Str signature and implementations
  ☆21May 28, 2017Updated 8 years ago
• selectel / yaml-config

  View on GitHub
  Configuration management with YAML
  ☆23Apr 6, 2019Updated 6 years ago
• berewt / acme-haskellee

  View on GitHub
  Haskell Enterprise Edition
  ☆12Nov 17, 2017Updated 8 years ago
• sebastiaanvisser / salvia

  View on GitHub
  Salvia - Modular Haskell HTTP server.
  ☆24Sep 4, 2010Updated 15 years ago
• kfl / webserver-functor

  View on GitHub
  Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.
  ☆14Feb 26, 2014Updated 11 years ago
• m0ar / safe-streaming

  View on GitHub
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Aug 11, 2017Updated 8 years ago
• dagit / language-fortran

  View on GitHub
  Haskell parser and manipulation functions for Fortran code
  ☆17Mar 18, 2016Updated 9 years ago
• nikomatsakis / mutable

  View on GitHub
  Tinkering with a more ergonomic cell abstraction
  ☆16May 26, 2019Updated 6 years ago
• mmark-md / mmark-ext

  View on GitHub
  Commonly useful extensions for the MMark markdown processor
  ☆12Feb 2, 2026Updated 2 weeks ago
• gergoerdi / icfp-bingo-2017-idris

  View on GitHub
  ICFP Bingo 2017 (Idris edition)
  ☆30Aug 22, 2019Updated 6 years ago
• halgari / async-mu-kanren

  View on GitHub
  A POC implementation of muKanren using CSP (core.async)
  ☆31May 2, 2014Updated 11 years ago
• chpatrick / solga

  View on GitHub
  Simple typesafe routing
  ☆46Aug 31, 2022Updated 3 years ago