A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.

chatmail service deployment scripts and docs

CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.

The official Sublime Text 4 package for the Rust Programming Language

Dracula theme for Neovim

List of settings aiming to reproduce the original video game console experience... ...even if it means degrading the image a bit! 😉

NASA PVS Library of Formal Developments

Common Lisp editor/IDE with high expansibility

API Documentation Browser

Lightning-fast and Powerful Code Editor written in Rust

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)

Papers from the computer science community to read and discuss.

The P programming language.

A tool that generates a compilation database for clang tooling using ptrace.

F# RISC-V Instruction Set formal specification

Move your Lemmy settings from one account to another

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Voyager — a beautiful app for Lemmy

The most complete and accurate digital camera* data on the internet, assembled and maintained by the community.

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

An extremely fast Python linter and code formatter, written in Rust.

A tree-sitter grammar for TLA⁺ and PlusCal

A formalization of the RVWMO (RISC-V) memory model

💤 A modern plugin manager for Neovim

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Neovim config for the lazy

simple terminal UI for git commands

Container runtimes on macOS (and Linux) with minimal setup

Write Markdown with code assist and intelligence in the comfort of your favourite editor.