GitHub topics: ats-lang
gallettilance/magnificATS
Collection of ATS goodness
Language: ATS - Size: 20.2 MB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 35 - Forks: 2
seanpm2001/SNU_2D_ProgrammingTools_IDE_ATS
⌨️ The ATS programming language IDE submodule for SNU Programming Tools (2D Mode)
Language: ATS - Size: 273 KB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
seanpm2001/Learn-ATS
📚️ A repository for showcasing my knowledge of the ATS programming language, and continuing to learn the language.
Language: ATS - Size: 258 KB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
gallettilance/ATS-blockchain
⛓️ Blockchain + Smart contracts from scratch
Language: ATS - Size: 15.1 MB - Last synced at: 4 months ago - Pushed at: about 7 years ago - Stars: 21 - Forks: 3
sparverius/xjsonize-test
xanadu-lang compiler extension
Language: ATS - Size: 50.8 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
sparverius/xanadu Fork of xanadu-lang/xanadu
This repository is supposed to hold a released version of Xanadu
Language: ATS - Size: 1.22 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
sparverius/xatscc
xanadu-lang compiler system
Language: ATS - Size: 51.8 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
sparverius/Temptory-Release
For building & Releasing
Language: Makefile - Size: 47.9 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0
sparverius/atslang-docker
ATS-Lang docker images
Language: Shell - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
sparverius/ATS2-Docker
For building ATS docker images
Language: Shell - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
doublec/ats-reference
Unofficial reference documentation for ATS programming language libraries
Size: 145 KB - Last synced at: 3 months ago - Pushed at: almost 13 years ago - Stars: 15 - Forks: 0
jiangwei221/atscntrb-as-ats3d Fork of ashalkhakov/atscntrb-as-ats3d
3D vector algebra library for ATS, and a tiny renderer
Language: ATS - Size: 10 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
sparverius/ats-acc
Pretty-print error messages of the ATS Compiler
Language: ATS - Size: 84 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 29 - Forks: 2
steinwaywhw/ATS-Python3
ATS to Python 3 Transpiler
Language: ATS - Size: 728 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
sparverius/iats
ats kernel for jupyter notebook
Language: Python - Size: 595 KB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
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
Language: M4 - Size: 7 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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
Language: Shell - Size: 12.4 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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
Language: Makefile - Size: 4.52 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
vmchale/ats-vim Fork of vim-scripts/ats-lang-vim
Vim plugin for ATS
Language: Vim script - Size: 186 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 15 - Forks: 4
githwxi/Docker-ATS-Positiats
For building a Docker image for ATS-Positiats
Size: 2.93 KB - Last synced at: 23 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
vmchale/language-xats
Language library for manipulating ATS3 in Haskell.
Language: Haskell - Size: 52.7 KB - Last synced at: 22 minutes ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 0
doublec/ats-bitcoin
ATS library for working with bitcoin
Language: C - Size: 121 KB - Last synced at: 3 months ago - Pushed at: almost 12 years ago - Stars: 1 - Forks: 0
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
Language: Shell - Size: 612 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
chemoelectric/ats2-patience-sort
Patience sort implementation for ATS2/Postiats. Mirror of the Mercurial repository at https://sourceforge.net/p/chemoelectric/ats2-patience-sort
Language: Shell - Size: 1.02 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
vmchale/hs-bind
Library support for calling Haskell functions in ATS.
Language: ATS - Size: 16.6 KB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
modotte/ATS
A mirror of ATS2 programming language SVN trunk for GC-less, memory safe system programming with advanced type system.
Language: C - Size: 15.7 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
d4v3y5c0n3s/Goldelish-Engine
(WIP) A reimplementation of the Corange Game Engine (https://github.com/orangeduck/Corange) in the ATS programming language.
Language: ATS - Size: 8.45 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
timmyjose-experiments/introduction-to-programming-in-ATS
Learning ATS from the official tutorial of the same name
Language: ATS - Size: 89.8 KB - Last synced at: 8 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
doublec/ats-libzmq
ATS binding for libzmq (zeromq)
Size: 152 KB - Last synced at: 3 months ago - Pushed at: almost 12 years ago - Stars: 5 - Forks: 0
sparverius/xinterp Fork of xanadu-lang/xinterp
An interpreter for the Xanadu programming language
Language: ATS - Size: 229 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
vmchale/ats-linecount
Packaged example from the book
Language: ATS - Size: 619 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
carletes/introduction-to-ats
Notes on Introduction to Programming in ATS
Language: ATS - Size: 2.93 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
doublec/ats-jansson
ATS language wrapper for jansson JSON parsing library
Size: 117 KB - Last synced at: 3 months ago - Pushed at: almost 12 years ago - Stars: 3 - Forks: 0
doublec/ats-libevent
ATS binding for libevent
Size: 148 KB - Last synced at: 3 months ago - Pushed at: almost 12 years ago - Stars: 3 - Forks: 0
doublec/longpoller
ATS version of Longpoll server used in the bitparking pool
Size: 94.7 KB - Last synced at: 3 months ago - Pushed at: over 13 years ago - Stars: 2 - Forks: 0
doublec/ats-task
Lightweight tasks module for ATS
Size: 133 KB - Last synced at: 3 months ago - Pushed at: almost 12 years ago - Stars: 3 - Forks: 0