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☆249Apr 20, 2026Updated last week
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆387Jun 10, 2025Updated 10 months ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆51Aug 3, 2020Updated 5 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆47Dec 18, 2019Updated 6 years ago
- Pretty-print error messages of the ATS Compiler☆37Jun 28, 2019Updated 6 years ago
- ☆13May 25, 2021Updated 4 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 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 10 years ago
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Build tool for ATS.☆42Apr 11, 2022Updated 4 years ago
- Tool to count lines of source code.☆256Jan 31, 2024Updated 2 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- Verified left pad☆19Apr 14, 2018Updated 8 years ago
- Haskell parser and printer for the TOML 1.1.0 file format☆29Updated this week
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Mar 15, 2019Updated 7 years ago
- Lisp Interface to Federal Reserve Economic Data (FRED®)☆11Aug 6, 2015Updated 10 years ago
- This repository is primarily for testing ATS2 on various platforms☆11Aug 3, 2020Updated 5 years ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Haskell implementation of the XXHash algorithm☆16Dec 3, 2025Updated 4 months ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 9 years ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆49Dec 4, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ATS programing on Arduino☆57Dec 5, 2015Updated 10 years ago
- PL syntax macros.☆21Apr 24, 2026Updated last week
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆27May 9, 2022Updated 3 years ago
- only in name☆17Aug 19, 2020Updated 5 years ago
- Implementation of Dhall in Dhall☆12Mar 13, 2026Updated last month
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 6 years ago