Skip to content

@ats-lang ATS-LANG.ORG

Change the repository type filter

All

    Repositories list

    5 repositories

    • ats-lang.github.io

      Public
      For hosting certain parts of http://www.ats-lang.org
      HTML
      •9•25•1•0•Updated Feb 18, 2023Feb 18, 2023

    • ATS-CodeBook

      Public
      This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as well as using it to construct software for use in the real world.
      ATS
      •
      MIT License
      •1•57•0•0•Updated Jan 31, 2021Jan 31, 2021

    • ATS-Postiats-release

      Public
      ATS2: Unleashing the Potentials of Types and Templates
      ATS
      •
      Other
      •54•40•0•0•Updated Dec 18, 2019Dec 18, 2019

    • ATS-Postiats-npm-utils

      Public
      For using npm to manage additional ATS-Postiats packages
      ATS
      •
      MIT License
      •1•4•0•0•Updated May 23, 2019May 23, 2019

    • ATS-Category

      Public
      For template-based library code that is, kind of, inspired by category theory.
      ATS
      •
      Apache License 2.0
      •1•10•0•0•Updated Aug 21, 2018Aug 21, 2018