#

ats-lang

Here are 33 public repositories matching this topic...

gallettilance / magnificATS

Collection of ATS goodness

machine-learning dependent-types neural-network compiler algorithms functional-programming lambda-calculus sudoku tail-recursion ats-lang

Updated Nov 19, 2019
ATS

sparverius / ats-acc

Pretty-print error messages of the ATS Compiler

pretty-printer ats-lang linear-types

Updated Jun 28, 2019
ATS

gallettilance / ATS-blockchain

⛓️ Blockchain + Smart contracts from scratch

programming-language parser lisp interpreter functional-programming smart-contracts blockchain lambda-calculus commandline-interface ats-lang blockchain-demo smart-contract-platform

Updated May 19, 2018
ATS

vmchale / ats-vim

Vim plugin for ATS

plugin vim ats ats-lang

Updated Jul 7, 2021
Vim Script

doublec / ats-reference

Unofficial reference documentation for ATS programming language libraries

asciidoc ats ats-lang

Updated Jun 27, 2012

vmchale / language-xats

Language library for manipulating ATS3 in Haskell.

language haskell ats ats-lang

Updated Feb 25, 2019
Haskell

d4v3y5c0n3s / Goldelish-Engine

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

game-engine wip 3d-game-engine ats-lang corange-engine goldelish-engine

Updated Oct 31, 2021
ATS

sparverius / Temptory-Release

For building & Releasing

dependent-types functional types templates metaprogramming ats ats-lang linear-types linear-streams tmplats temptory

Updated Aug 25, 2019
Makefile

doublec / ats-libzmq

ATS binding for libzmq (zeromq)

Updated Jul 20, 2013

doublec / ats-libevent

ATS binding for libevent

Updated Jul 20, 2013

doublec / ats-task

Lightweight tasks module for ATS

Updated Jul 20, 2013

doublec / ats-jansson

ATS language wrapper for jansson JSON parsing library

Updated Jul 20, 2013

steinwaywhw / ATS-Python3

ATS to Python 3 Transpiler

python compiler ats ats-lang

Updated Jan 31, 2018
ATS

doublec / longpoller

ATS version of Longpoll server used in the bitparking pool

Updated Jan 5, 2012

sparverius / xanadu

This repository is supposed to hold a released version of Xanadu

compiler ats-lang xanadu-lang

Updated Jul 8, 2020
ATS

jiangwei221 / atscntrb-as-ats3d

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

ats rasterization ats-lang

Updated Apr 12, 2018
ATS

sparverius / atslang-docker

ATS-Lang docker images

docker ats xanadu ats-lang atslang temptory ats1 ats2

Updated Dec 18, 2019
Shell

sparverius / xatscc

xanadu-lang compiler system

compiler ats-lang xanadu-lang

Updated May 2, 2023
ATS

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

sorting sort sorting-algorithms sorting-algorithms-implemented ats c-library ats-lang ats2 postiats

Updated Jan 18, 2023
Makefile

sparverius / ATS2-Docker

For building ATS docker images

dockerfile ats-lang

Updated Feb 16, 2019
Shell

Improve this page

Add a description, image, and links to the ats-lang topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ats-lang topic, visit your repo's landing page and select "manage topics."