ats-lang

There are 1 repository under ats-lang topic.

• gallettilance / magnificATS

  Collection of ATS goodness

  ats-langfunctional-programmingalgorithmslambda-calculussudokudependent-typestail-recursionneural-networkmachine-learningcompiler
  Language:ATS 31

• sparverius / ats-acc

  Pretty-print error messages of the ATS Compiler

  ats-langlinear-typespretty-printer
  Language:ATS 31

• gallettilance / ATS-blockchain

  ⛓️ Blockchain + Smart contracts from scratch

  ats-langblockchainsmart-contractslambda-calculusfunctional-programmingprogramming-languageinterpreterlispparsercommandline-interfaceblockchain-demosmart-contract-platform
  Language:ATS 18

• vmchale / ats-vim

  Vim plugin for ATS

  vimpluginatsats-lang
  Language:Vim Script 16

• doublec / ats-reference

  Unofficial reference documentation for ATS programming language libraries

  atsats-langasciidoc
  15

• d4v3y5c0n3s / Goldelish-Engine

  (WIP) A reimplementation of the Corange Game Engine (https://github.com/orangeduck/Corange) in the ATS programming language.

  game-enginewipcorange-enginegoldelish-engineats-lang3d-game-engine
  Language:ATS 8

• vmchale / language-xats

  Language library for manipulating ATS3 in Haskell.

  atsats-langhaskelllanguage
  Language:Haskell 8

• sparverius / Temptory-Release

  For building & Releasing

  ats-langfunctionalmetaprogrammingtypestemplateslinear-typesdependent-typestmplatslinear-streamstemptoryats
  Language:Makefile 6

• doublec / ats-libzmq

  ATS binding for libzmq (zeromq)

  atsats-lang
  5

• doublec / ats-jansson

  ATS language wrapper for jansson JSON parsing library

  atsats-lang
  3

• doublec / ats-libevent

  ATS binding for libevent

  atsats-lang
  3

• doublec / ats-task

  Lightweight tasks module for ATS

  ats-langats
  3

• doublec / longpoller

  ATS version of Longpoll server used in the bitparking pool

  atsats-lang
  2

• steinwaywhw / ATS-Python3

  ATS to Python 3 Transpiler

  atspythoncompilerats-lang
  Language:ATS 2

• chemoelectric / ats2-timsort

  Timsort (powersort) for ATS2/Postiats and C, written in ATS2. Mirror of the default branch of the Mercurial repository at https://sourceforge.net/p/chemoelectric/ats2-timsort

  atsats-langats2postiatssortsortingsorting-algorithmssorting-algorithms-implementedc-library
  Language:Makefile 1

• doublec / ats-bitcoin

  ATS library for working with bitcoin

  atsats-lang
  Language:C 1

• jiangwei221 / atscntrb-as-ats3d

  3D vector algebra library for ATS, and a tiny renderer

  atsats-langrasterization
  Language:ATS 1

• sparverius / ATS2-Docker

  For building ATS docker images

  ats-langdockerfile
  Language:Shell 1

• sparverius / atslang-docker

  ATS-Lang docker images

  dockeratslangats-langatsats1ats2xanadutemptory
  Language:Shell 1

• sparverius / xanadu

  This repository is supposed to hold a released version of Xanadu

  xanadu-langats-langcompiler
  Language:ATS 1

• sparverius / xatscc

  xanadu-lang compiler system

  ats-langcompilerxanadu-lang
  Language:ATS 1

• timmyjose-study / introduction-to-programming-in-ATS

  Learning ATS from the official tutorial of the same name

  atsats-lang
  Language:ATS 1

• vmchale / hs-bind

  Library support for calling Haskell functions in ATS.

  atsffihaskellats-lang
  Language:ATS 1

• chemoelectric / ats2-integer-radix-sort

  Stable integer-keyed radix sort for ATS2/Postiats. Mirror of the repository at https://sourceforge.net/p/chemoelectric/ats2-integer-radix-sort

  atsats-langsortsortingsorting-algorithmssorting-algorithms-implemented
  Language:Shell 0

• krashikiworks / wakaran-ats-postiats

  my problem about the ATS/Postiats

  atsats-langpostiatspostiats-ats
  Language:ATS 0

• carletes / introduction-to-ats

  Notes on Introduction to Programming in ATS

  atsats-lang
  Language:ATS

• chemoelectric / ats2-floattypes

  Floating point operations for ATS2 (compiled to C), including commonly supported C extensions. Mirror of the default branch of the Mercurial repository at https://sourceforge.net/p/chemoelectric/ats2-floattypes

  atsats-langfloating-pointlibrarynumerical-analysisnumerical-methods
  Language:Shell

• chemoelectric / ats2-patience-sort

  Patience sort implementation for ATS2/Postiats. Mirror of the Mercurial repository at https://sourceforge.net/p/chemoelectric/ats2-patience-sort

  ats-langsortingsorting-algorithmssorting-algorithms-implemented
  Language:Shell

• chemoelectric / ats2-xprelude

  Extensions to (and bugfixes for) the ATS/Postiats prelude. Mirror of the default branch of the Mercurial repository at https://sourceforge.net/p/chemoelectric/ats2-xprelude

  atsats-langats2exact-rationalsfixed-pointfloating-pointintegerspostiatssorting
  Language:M4

• githwxi / Docker-ATS-Positiats

  For building a Docker image for ATS-Positiats

  atsats-langdocker

• sparverius / iats

  ats kernel for jupyter notebook

  ats-langjupyter-kerneljupyter-labjupyter-notebook
  Language:Python

• sparverius / xinterp

  An interpreter for the Xanadu programming language

  ats-langinterpreterxanadu-lang
  Language:ATS

• sparverius / xjsonize-test

  xanadu-lang compiler extension

  ats-langjsonizecompiler-tool
  Language:ATS

• vmchale / ats-linecount

  Packaged example from the book

  atslinecounterats-langlibrary
  Language:ATS