Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cat

A categorical semantics library in Agda.
Stars
16
License
gpl-3.0
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Agda
Categories
Repo
Suggest An Alternative To cat
Popular Cats Projects
Envoy ⭐ 23,743
Cloud-native high-performance edge/middle/service proxy
dependent packages 2total releases 284latest release October 19, 2023most recent commit a month ago
Cats ⭐ 5,110
Lightweight, modular, and extensible library for functional programming.
dependent packages 1,254total releases 54latest release August 14, 2023most recent commit 3 months ago
Script ⭐ 4,569
Making it easy to write shell-like scripts in Go
dependent packages 72total releases 43latest release April 22, 2023most recent commit 7 months ago
Popular Code Style Projects
Php Cs Fixer ⭐ 12,522
A tool to automatically fix PHP Coding Standards issues
dependent packages 10,051total releases 265latest release December 08, 2023most recent commit 19 days agopackagist friendsofphp/php-cs-fixer} Downloads
Xo ⭐ 7,540
❤️ JavaScript/TypeScript linter (ESLint wrapper) with great defaults
dependent packages 12,354total releases 116latest release August 12, 2023most recent commit a month agonpm xo} Downloads
Omim ⭐ 4,460
🗺️ MAPS.ME — Offline OpenStreetMap maps for iOS and Android
dependent packages 1total releases 2latest release November 06, 2020most recent commit 2 years agopypi omim-pygen} Downloads
H ⭐ 2,836
Annotate with anyone, anywhere.
most recent commit 3 months ago
Popular Control Flow Categories
Stream
Thread
Promise
Series
Webhook
Daemon
Parallel
Reactive
Rxjava
Cron
Related Searches
Agda Type Theory
Agda Category Theory
Cats Category Theory
Cats Agda
Type Theory Agda Library

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Cats
Code Style
Category Theory
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.