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
Sorting:
- Bootstrapping ATS3☆247Feb 22, 2026Updated last week
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆383Jun 10, 2025Updated 8 months ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆51Aug 3, 2020Updated 5 years ago
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆37Jun 28, 2019Updated 6 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆47Dec 18, 2019Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- ☆13May 25, 2021Updated 4 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- ☆21Aug 7, 2015Updated 10 years ago
- Tool to count lines of source code.☆255Jan 31, 2024Updated 2 years ago
- Build tool for ATS.☆42Apr 11, 2022Updated 3 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 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
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Jan 7, 2026Updated last month
- This repository is primarily for testing ATS2 on various platforms☆11Aug 3, 2020Updated 5 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- Haskell implementation of the XXHash algorithm☆16Dec 3, 2025Updated 2 months ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Lisp Interface to Federal Reserve Economic Data (FRED®)☆11Aug 6, 2015Updated 10 years ago
- Agda libraries relevant to Moonad☆14Apr 2, 2019Updated 6 years ago
- More indexing options for Rust slices☆10Oct 26, 2023Updated 2 years ago
- Learning Reason/OCaml by making an old-school canvas game.☆25Oct 28, 2017Updated 8 years ago
- ATS programing on Arduino☆57Dec 5, 2015Updated 10 years ago
- [ABANDONED] Containers for Bucklescript application☆28Feb 18, 2018Updated 8 years ago
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 11 years ago
- Testing that works for you.☆18Jan 4, 2023Updated 3 years ago
- ☆17Jan 4, 2022Updated 4 years ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 7 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Implementation of Dhall in Dhall☆12Feb 12, 2026Updated 2 weeks ago
- Formalising Type Theory in a modular way for translations between type theories☆95Jan 10, 2018Updated 8 years ago
- ☆35Jul 19, 2019Updated 6 years ago