A small C compiler

Offline documentation browser inspired by Dash

Extensions for the built-in LSP support in Neovim for eclipse.jdt.ls

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

The official Invidious documentation

🧩 Patches for ReVanced

💊 Application to use ReVanced on Android

v4l2-loopback device

a multi-language bindings generator for rust

Easy declarative web interfaces.

langcc: A Next-Generation Compiler Compiler

Linux kernel source tree

a structural diff that understands syntax 🟥🟩

Separates words into syllables.

🎥 Command line video player

🧑‍🚀 The better identity infrastructure for developers and the open-source alternative to Auth0.

📚 A curated list of papers for Software Engineers

Mold: A Modern Linker 🦠

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Papers from the computer science community to read and discuss.

Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.

Browser In The Browser (BITB) Templates

The devs are over here at devzat, chat over SSH!

Substrate: The platform for blockchain innovators

The developer platform for on-demand cloud development environments to create software faster and more securely.

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Empowering everyone to build reliable and efficient software.

A terminal workspace with batteries included

The neovim language-server-client UI