Compliance tests for TOML parsers / writers
☆21Aug 30, 2023Updated 3 years ago
Alternatives and similar repositories for compliance
Users that are interested in compliance are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Advent of Code 2019 solutions in Haskell☆12Jan 28, 2021Updated 5 years ago
- automatic visual data explorer for datasette☆14Apr 20, 2023Updated 3 years ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Updated this week
- cssfmt wrapper for emacs,which is a gofmt like code formatter☆12Oct 25, 2016Updated 9 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.
- An OpenAL debugging tool.☆10Aug 31, 2021Updated 5 years ago
- Feature set algebra for linguistics☆17Jul 7, 2026Updated 2 months ago
- Homebrew tap for GAP☆19Oct 20, 2025Updated 11 months ago
- Lookup and load installed OCaml modules☆17Aug 13, 2026Updated last month
- Zippers for cofree types☆15Dec 7, 2021Updated 4 years ago
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated last month
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated 3 months ago
- Copy and modify plain text files between devices without templates or symlinks☆18Jun 15, 2026Updated 3 months 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.
- A Git mirror of Mark Atwood’s rem2ics project.☆10Apr 25, 2010Updated 16 years ago
- Vim and Neovim plugin to highlight pasted text in terminal☆10Jul 14, 2021Updated 5 years ago
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated 2 years ago
- ☆11Dec 23, 2018Updated 7 years ago
- A clock screensaver in terminal☆10Dec 20, 2014Updated 11 years ago
- Buddies of Budgie documentation, built with Docusaurus.☆12Jun 6, 2026Updated 3 months ago
- La mia casa☆12Apr 13, 2026Updated 5 months ago
- Doggo Browser☆12May 28, 2021Updated 5 years ago
- OCaml library to work with colors on the web☆21Nov 22, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Aug 26, 2026Updated last month
- repository for questions that are asked (or you want answered!) during storytelling sessions☆12Sep 7, 2025Updated last year
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆23Apr 17, 2024Updated 2 years ago
- A small C helper library for storing sets of IPv4 and IPv6 addresses☆10Apr 16, 2022Updated 4 years ago
- ☆12Jul 17, 2020Updated 6 years ago
- nuspell source for nvim-cmp based on nuspell☆10Jan 5, 2022Updated 4 years ago
- css parser (C)☆10Jul 2, 2022Updated 4 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 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.
- Finite lazy enumerators in OCaml☆21Oct 19, 2018Updated 7 years ago
- Extended features of network_tools for flutter framework.☆15Jul 25, 2026Updated 2 months ago
- A Java wrapper for Raylib☆14Oct 22, 2018Updated 7 years ago
- An open source CalDAV implementation for .NET and Mono, built on Data Abstract.☆12Oct 22, 2012Updated 13 years ago
- Implementation of maps of integers with Patricia trees☆21Sep 4, 2020Updated 6 years ago
- Commander C# Scripting Addin that can be used to automate simple tasks in Markdown Monster without creating an Addin. Launch external too…☆12Dec 12, 2025Updated 9 months ago
- 🌵 Very quick shell prompt that supports multiple shells.☆17Apr 6, 2026Updated 5 months ago