The Z3 Theorem Prover

Interact with Substrate based nodes in Rust or WebAssembly

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

The Vampire Theorem Prover

Edit, preview and share mermaid charts/diagrams. New implementation of the live editor.

The official Vim repository

🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…

Mirror of development repo: https://github.com/Cardinal-Cryptography/aleph-node

f.k.a. Awesome ChatGPT Prompts. Share, discover, and collect prompts from the community. Free and open source — self-host for your organization with complete privacy.

⚓ Solana Program Framework

OSS-Fuzz - continuous fuzzing for open source software.

A library that provides an embeddable, persistent key-value store for fast storage.

WASI-enabled WebAssembly C/C++ toolchain

Basic Cosmos SDK application with WebAssembly smart contracts

Anki is a smart spaced repetition flashcard program

Helium programs to run on the Solana blockchain

Refinement-Based Game Semantics

Data for this-week-in-rust.org

WASI libc implementation for WebAssembly

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

Run compilers interactively from your web browser and interact with the assembly

Beautiful & consistent icon toolkit made by the community. Open-source project and a fork of Feather Icons.

A cross-platform command-line tool for executing jobs in parallel

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

🎏 A curated collection of all country flags in SVG — plus the CSS for easier integration

Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar

Library to analyze and collect metrics on source code

A D3.js plugin that produces flame graphs from hierarchical data.

Kani Rust Verifier