The fastest knowledge base for growing teams. Beautiful, realtime collaborative, feature packed, and markdown compatible.

Cargo command to create the README.md from your crate's documentation

Apache Log4j is a versatile, feature-rich, efficient logging API and backend for Java.

Procedural macro to implement Display and FromStr using common settings.

vscode-markdown-plantuml-preview

A modern commutative diagram editor for the web.

A unified framework that connects logics to Shari theorem prover

SATySFi class file for yabaitech.tokyo

Hot Soup Processor (HSP3)

Docker images for SATySFi and Satyrographos

Dafny is a verification-aware programming language

homebrew (macOS) packages for RISC-V toolchain

SATySFiでのプログラミングをもっと快適にするためのパッケージ集

complementary collection of useful functions and modules for SATySFi

Knuth-Bendix completion in Egison (and Haskell). 技術書典7

Lean 4 programming language and theorem prover

Writing an OS in Rust

SAT solver written by Egison

Automatically exported from code.google.com/p/smhasher

Package manager for SATySFi

The seL4 microkernel

RTOS based on L4 microkernel.

Omicron Wiki

Template Haskell Implementation of Egison Pattern Matching

The HOL Light theorem prover

The DRAT-trim proof checker

A minimalistic and high-performance SAT solver