Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Lib

A standard library for Agda
Stars
8
License
other
Open Issues
0
Most Recent Commit
8 years ago
Programming Language
Agda
Categories
Repo
Suggest An Alternative To agda-lib
Popular Unicode Projects
Fmt ⭐ 19,230
A modern formatting library
dependent packages 35total releases 19latest release February 14, 2023most recent commit a month ago
Twemoji ⭐ 16,420
Emoji for everyone. https://twemoji.twitter.com/
dependent packages 267total releases 63latest release March 31, 2022most recent commit 5 months agonpm twemoji} Downloads
Jsonkit ⭐ 6,222
Objective-C JSON
total releases 2latest release March 24, 2015most recent commit 3 years ago
Popular Nats Projects
Frp ⭐ 76,428
A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.
dependent packages 18total releases 93latest release October 24, 2023most recent commit 4 months ago
Ngrok ⭐ 23,398
Introspected tunnels to localhost
total releases 1latest release May 31, 2016most recent commit 5 months ago
Chia Blockchain ⭐ 10,889
Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)
dependent packages 7total releases 150latest release December 08, 2023most recent commit 4 months agopypi chia-blockchain} Downloads
Benthos ⭐ 7,564
Fancy stream processing made operationally mundane
dependent packages 12total releases 51latest release November 24, 2023most recent commit 21 days ago
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Unicode
Nats
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.