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.
☆64Jan 31, 2021Updated 5 years ago
Alternatives and similar repositories for ATS-CodeBook
Users that are interested in ATS-CodeBook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bootstrapping ATS3☆254Updated this week
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆392Jun 25, 2026Updated 2 months ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆51Aug 3, 2020Updated 6 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- For supporting template-based programming☆23Jun 21, 2020Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆50Dec 18, 2019Updated 6 years ago
- Pretty-print error messages of the ATS Compiler☆38Jun 28, 2019Updated 7 years ago
- ☆13May 25, 2021Updated 5 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- ☆21Aug 7, 2015Updated 11 years ago
- Build tool for ATS.☆42Apr 11, 2022Updated 4 years ago
- Tool to count lines of source code.☆256Jan 31, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- ☆17Nov 11, 2021Updated 4 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 14 years ago
- Verified left pad☆18Apr 14, 2018Updated 8 years ago
- ☆10Mar 4, 2026Updated 5 months ago
- Lisp Interface to Federal Reserve Economic Data (FRED®)☆11Aug 6, 2015Updated 11 years ago
- Haskell parser and printer for the TOML 1.1.0 file format☆31May 7, 2026Updated 3 months ago
- This repository is primarily for testing ATS2 on various platforms☆11Aug 3, 2020Updated 6 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Mar 15, 2019Updated 7 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 6 years ago
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 9 years ago
- Learning Reason/OCaml by making an old-school canvas game.☆25Oct 28, 2017Updated 8 years ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated last month
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more☆11Jan 9, 2015Updated 11 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- ATS programing on Arduino☆57Dec 5, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆49Dec 4, 2022Updated 3 years ago
- PL syntax macros.☆21Apr 24, 2026Updated 4 months ago
- [ABANDONED] Containers for Bucklescript application☆28Feb 18, 2018Updated 8 years ago
- only in name☆17Aug 19, 2020Updated 6 years ago
- Implementation of Dhall in Dhall☆12Updated this week
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆27May 9, 2022Updated 4 years ago
- BibTeX database management in Idris☆18May 13, 2014Updated 12 years ago