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.
☆65Jan 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:
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 8 years ago
- For supporting template-based programming☆24Updated this week
- Bootstrapping ATS3☆259Updated this week
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆51Aug 3, 2020Updated 6 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.
- ATS2: Unleashing the Potentials of Types and Templates☆397Updated this week
- Pretty-print error messages of the ATS Compiler☆39Jun 28, 2019Updated 7 years ago
- This repository is primarily for testing ATS2 on various platforms☆12Aug 3, 2020Updated 6 years ago
- ☆20Aug 7, 2015Updated 11 years ago
- ☆13May 25, 2021Updated 5 years ago
- Build tool for ATS.☆42Apr 11, 2022Updated 4 years ago
- Tool to count lines of source code.☆255Jan 31, 2024Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆50Dec 18, 2019Updated 6 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ATS programing on Arduino☆57Dec 5, 2015Updated 10 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- A library for recreational number theory in MIT Scheme.☆10Feb 2, 2013Updated 13 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 14 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 6 years ago
- ☆49Oct 1, 2017Updated 9 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- New version of the PML language and (classical) proof assistant☆21Feb 13, 2026Updated 8 months 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.
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated 2 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 7 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 9 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated 2 years ago
- Type-checker for the λΠ-calculus modulo rewriting☆240Jul 1, 2026Updated 3 months ago
- ☆17Nov 11, 2021Updated 4 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.
- Surgery for generic data types☆26Jan 25, 2021Updated 5 years ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 6 months ago
- Verified left pad☆18Apr 14, 2018Updated 8 years ago
- ☆10Mar 4, 2026Updated 7 months ago
- Coq formalizations of functional languages.☆144Jul 2, 2020Updated 6 years ago
- ⛓️ Blockchain + Smart contracts from scratch☆23May 19, 2018Updated 8 years ago
- Purescript refinement types with runtime checking☆25Sep 17, 2022Updated 4 years ago