Awesome Open Source

Programming Languages

Agda Sessions

Learn the Agda basics in three 2-hour sessions.

Categories > Security > Session

Suggest Alternative

Stars

50

License

No license specified

Most Recent Commit

7 months ago

Programming Language

Agda

Categories

Security > Session

Alternatives To Agda Sessions

Select To Compare

Iris ⭐ 24,660

The fastest HTTP/2 Go Web Framework. New, modern and easy to learn. Fast development with Code you control. Unbeatable cost-performance ratio :rocket:

dependent packages 536total releases 220most recent commit 4 months ago

Redisson ⭐ 22,647

Redisson - Easy Redis Java client with features of In-Memory Data Grid. Sync/Async/RxJava/Reactive API. Over 50 Redis based Java objects and services: Set, Multimap, SortedSet, Map, List, Queue, Deque, Semaphore, Lock, AtomicLong, Map Reduce, Bloom filter, Spring Cache, Tomcat, Scheduler, JCache API, Hibernate, RPC, local cache ...

dependent packages 358total releases 218most recent commit a month ago

Asciinema ⭐ 12,413

Terminal session recorder 📹

dependent packages 1total releases 3most recent commit 4 months ago

GoFrame is a modular, powerful, high-performance and enterprise-class application development framework of Golang.

dependent packages 326total releases 542most recent commit 4 months ago

Tmux Resurrect ⭐ 10,374

Persists tmux environment across system restarts.

most recent commit 4 months ago

Termtosvg ⭐ 8,882

Record terminal sessions as SVG animations

dependent packages 3total releases 13most recent commit 4 years ago

pypi termtosvg} Downloads

Evilginx2 ⭐ 8,747

Standalone man-in-the-middle attack framework used for phishing login credentials along with session cookies, allowing for the bypass of 2-factor authentication

dependent packages 1total releases 13most recent commit 6 months ago

Pgweb ⭐ 8,186

Cross-platform client for PostgreSQL databases

total releases 60most recent commit 4 months ago

Bottlerocket ⭐ 7,974

An operating system designed for hosting containers

total releases 68most recent commit 4 months ago

Aws Vault ⭐ 7,918

A vault for securely storing and accessing AWS credentials in development environments

dependent packages 5total releases 103most recent commit 5 months ago

Suggest An Alternative To agda-sessions

Popular Security Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Session

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.