A set of OpenSCAD utilities for adding radii and fillets, that embodies a robust approach to developing OpenSCAD parts.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Streaming replication for SQLite.

1Password helpers for direnv

An interactive tool to analyze Golang goroutine dump.

High level Lua 5.4/5.3/5.2/5.1 (including LuaJIT) and Luau bindings to Rust with async/await support

🔗 Rust bindings to all things Neovim

Goka is a compact yet powerful distributed stream processing library for Apache Kafka written in Go.

An embedded key-value database in pure Rust

Papers from the computer science community to read and discuss.

a debugger for async rust!

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Elixir SortedSet backed by a Rust-based NIF

Pocket Casts Android 🎧

Einhorn: the language-independent shared socket manager

Golang plugin system over RPC.

Terminal UI library with rich, interactive widgets — written in Golang

A workbench for writing toy implementations of distributed systems.

A curated list of TLA+ resources.

Interactive ASCII art diagram generators. 🌟

A Bidirectional Cloud Sync Utility using rclone

Run commands when files change.

Render markdown on the CLI, with pizzazz! 💅🏻

Go app that allows you to access your reMarkable tablet files through the Cloud API

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…

Verified hash-based AMQ structures in Coq

Mocking your SQL database in Go tests has never been easier.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A modular implementation of timely dataflow in Rust