Tool to count lines of source code.
☆255Jan 31, 2024Updated 2 years ago
Alternatives and similar repositories for polyglot
Users that are interested in polyglot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Build tool for ATS.☆42Apr 11, 2022Updated 4 years ago
- Bootstrapping ATS3☆260Oct 26, 2026Updated last week
- ATS2: Unleashing the Potentials of Types and Templates☆398Oct 25, 2026Updated last week
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆65Jan 31, 2021Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆39Jun 28, 2019Updated 7 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.
- Perceptual hashing command-line tool☆20Jan 28, 2026Updated 9 months ago
- For supporting template-based programming☆24Updated this week
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 8 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆51Aug 3, 2020Updated 6 years ago
- ARM-based operating system - fork of http://github.com/mrd/puppy☆15Mar 23, 2015Updated 11 years ago
- This repository is primarily for testing ATS2 on various platforms☆12Aug 3, 2020Updated 6 years ago
- ☆13May 25, 2021Updated 5 years ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 6 months ago
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 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.
- ☆49Oct 1, 2017Updated 9 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 14 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 8 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆620May 16, 2021Updated 5 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆18Mar 17, 2019Updated 7 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- Functional programming with fewer indirections☆785Aug 20, 2020Updated 6 years ago
- Text generation language☆35Apr 7, 2026Updated 6 months 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.
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated 2 years ago
- Maintainable configuration files☆974Oct 27, 2026Updated last week
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- A simple interface for generating persistent data and linking its dependencies☆48Updated this week
- Compile Idris to Vimscript, like you always wanted.☆133Jan 26, 2018Updated 8 years ago
- ATS programing on Arduino☆57Dec 5, 2015Updated 10 years ago
- Ghosts of Departed Proofs☆65Nov 26, 2020Updated 5 years ago
- Provide warnings for unexpected Core generation☆28Nov 17, 2021Updated 4 years ago
- Measure allocations of a Haskell functions/values☆101Nov 1, 2024Updated 2 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.
- A build tool/package manager for C, configured with Dhall☆66Nov 6, 2023Updated 2 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆23Feb 3, 2026Updated 9 months ago
- Apple array system☆74Oct 12, 2026Updated 3 weeks ago
- ⛓️ Blockchain + Smart contracts from scratch☆23May 19, 2018Updated 8 years ago
- ☆23Aug 30, 2017Updated 9 years ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated 2 years ago
- Show, plot and compare benchmark results☆16May 14, 2026Updated 5 months ago