Stars
nostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things
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.
Personal nixos and home-manager configurations.
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 a 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 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.
Infer Clojure specs from sample data. Inspired by F#'s type providers.
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