B'SST: Bitcoin-like Script Symbolic Tracer

nostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things

A stack-based array programming language

the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Mentat - The AI Coding Assistant

A scrollable-tiling Wayland compositor.

Personal nixos and home-manager configurations.

Apple array system

A categorical programming language with effects

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

Resources for making sense of topology and its concepts

Collection of quotes on notation design & how it affects thought.

A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Lean 4 programming language and theorem prover

A modern proof language

A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.

A catalogue of Rust design patterns, anti-patterns and idioms

Empowering everyone to build reliable and efficient software.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

trace as data for Clojure/JVM

Infer Clojure specs from sample data. Inspired by F#'s type providers.

Provenance system for Clojure code

An embedded extensible logic DSL for Clojure.

High-performance Bayesian Data Analysis on the GPU in Clojure

Visualization of Clojure data structures using Graphviz

Small global-minor-mode to Emacs to handle several layouts

LPEG for Clojure