DepTyCheck model for semantically correct SystemVerilog descriptions

Collections with type-level control of emptiness, e.g. generalisation of `List` and `List1`

The universal proxy platform

Paper Clipper - Obsidian Plugins that Capture and manage academic papers

Bernardy style pretty-printer

Sublime syntax and appropriate theme for Idris 2 programming language

Get Android app updates straight from the source.

Utilities and documentation for exploring idirs2's new elaborator reflection.

Facilities for generating dependently-typed data

TUI for Telegram written in Rust 🦀

A purely functional programming language with first class types

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

A Matrix collaboration client for Android.

A glossy Matrix collaboration client for desktop.

A glossy Matrix collaboration client for the web.

Agda is a dependently typed programming language / interactive theorem prover.

ITMO CT C++ course notes

GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)

The easiest way to run WireGuard VPN + Web-based Admin UI.

Forum for discussing Internet censorship circumvention

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

A custom version of lavalink with more features

Coroutine based client for Lavalink (Kotlin and Java)