WIP: A Rust Lisp dialect with 100% interoperability

A language for writing and checking precise descriptions of things.

🎮 A step-by-step guide to implementing SSAO, depth of field, lighting, normal mapping, and more for your 3D game.

A curated list of TLA+ resources.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Debug Adapter for Haskell debugging system.

A modern step-through debugger for GHC Haskell

A curated list of awesome devblogs to check out!

📝 Today I Learned

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

A tacit array programming language

An experiment in improving node packaging for nix. Dead simple.

Efficient C++ implementation of the Cassowary constraint solving algorithm

High-confidence browser testing

A multimedia sketchpad

Ridiculous addon for Godot Engine 4 that adds screenshake and explosions to your coding experience

Learn the Zig programming language by fixing tiny broken programs.

Emacs Mini-Buffer Actions Rooted in Keymaps

Yet another modal editing on Emacs / 猫态编辑

Simple, hackable offline speech to text - using the VOSK-API.

The Flix Programming Language

Git branches made easy

Unofficial Rust SDK for the Pimoroni PicoSystem

Javascript DOM bindings for Idris2

Vim for Sublime Text.

lints and suggestions for the nix programming language

Haskell bindings for the W3C WebDriver API

A native compiler backend for PureScript (via C++ or Golang)

Easy PureScript (and other tools) with Nix