Pinned Loading

1. splr splr Public

   A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat

   Rust 116 8

2. LubySequence LubySequence Public

   Lean 4 formalization of the Luby sequence, offering recursive, tree, and state-machine characterizations, proofs and lemmas.

   Lean 2

3. zed-lean4 zed-lean4 Public

   Zed extension to support Lean4 language

   Tree-sitter Query 3

4. advent-of-code advent-of-code Public

   🎄The annual event for computer science enthusiasts!

   Rust 5 2

5. Quasarized.Zed Quasarized.Zed Public

   A modified color scheme extension for Zed editor based on Solarized with 4 additional colors for better readability.

6. tree-sitter-factor tree-sitter-factor Public

   Forked from razetime/tree-sitter-factor

   A tree-sitter grammar for Factor

   C