☆13May 25, 2021Updated 5 years ago
Alternatives and similar repositories for treap-ats
Users that are interested in treap-ats are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 8 years ago
- ☆20Aug 7, 2015Updated 11 years ago
- Haskell Enterprise Edition☆11Nov 17, 2017Updated 8 years ago
- Build tool for ATS.☆42Apr 11, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆18Aug 8, 2020Updated 6 years ago
- 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
- Applied operating system - an operating system kernel written in the ATS programming language.☆49Mar 29, 2012Updated 14 years ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 2021Updated 4 years ago
- Bootstrapping ATS3☆260Updated this week
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- ☆11Dec 20, 2018Updated 7 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 4 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.
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- For supporting template-based programming☆24Updated this week
- OCaml bindings to stb_image, a public domain image loader☆13Jan 12, 2023Updated 3 years ago
- ☆49Oct 1, 2017Updated 9 years ago
- Port of Shen Language for Clojure☆11Oct 12, 2022Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 7 years ago
- An extended version of QFileSystemModel with access to parent directory☆12Feb 27, 2019Updated 7 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 years ago
- Examples from Introduction to Programming in ATS☆25Sep 28, 2014Updated 12 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.
- purple: compiling a reflective language☆33Feb 27, 2026Updated 8 months ago
- Helm source for switching between X windows☆12Aug 5, 2025Updated last year
- ☆10Jun 9, 2021Updated 5 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 6 years ago
- A Haiku Vector Icon Format library for Haskell☆13Jan 29, 2018Updated 8 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 9 years ago
- An abstract machine using indexed containers and their zippers☆14Dec 29, 2016Updated 9 years ago
- 🔬 Dynamic viewer for sprite animation☆10May 27, 2018Updated 8 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- Compile git revision info into Haskell projects☆50Jan 3, 2024Updated 2 years ago
- Seamlessly switch between versions of GHC and company☆10Oct 16, 2018Updated 8 years ago
- Experimental opam plugin☆22Jul 21, 2026Updated 3 months ago
- Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX☆13Jul 6, 2012Updated 14 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Oct 11, 2026Updated 2 weeks ago
- Engine-agnostic map parsing and building library for Rust.☆11May 19, 2021Updated 5 years ago