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 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 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