Public reference documents for the SMT-LIB standard

🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Code for the paper Hybrid Spectrogram and Waveform Source Separation

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Audio player with a focus on self-hosted music server support

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

IPASIR 2 Specification and Discussion

Scalable Automated Reasoning for HPC and Clouds

The Z3 Theorem Prover

The glucose SAT solver

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

A tree-sitter based AST difftool to get meaningful semantic diffs

Structured Outputs

microsat

A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there.

SICP in Guile & Emacs Lisp

Python 3 library for manipulating Jim Breen's JMdict, KanjiDic2, JMnedict and kanji-radical mappings

jiten - japanese android/cli/web dictionary based on jmdict/kanjidic — 日本語　辞典　和英辞典　漢英字典　和独辞典　和蘭辞典

JPDB Frequency List creation for Yomichan