Pinned Loading

1. splr splr Public

   A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

   Rust 99 8

2. advent-of-code advent-of-code Public

   🎄The annual event for computer science enthusiasts!

   Rust 5 2

3. engram engram Public

   Forked from binarybottle/engram-v2

   Arno's Engram v2.0 ("Engram") layout is an optimized key layout for touch typing in English based on ergonomic considerations, with a protocol and software for creating new, optimized key layouts i…

   Jupyter Notebook 2 1

4. LubySequence LubySequence Public

   A Lean4-formalization on Luby Sequence that is used as a heuristics on restarts in some SAT solvers.

   Lean

5. sat-chart sat-chart Public

   Swift

6. flakes flakes Public

   My flakes over nixpkgs

   Nix 3