xiyuzhai

ai-math-theory

chaff-rs

chaff Sat solver in rust

crate-name-bug-rs

egui-dock-bug

egui dock fails to display tab title when surrounded by sidepanels

husky

Empowering everyone towards next generation AI and software.

LeanAide

Tools based on AI for helping with Lean 4

learn-ats

Me Learning the ATS programming language

learn-axum

learn-bevy

Me Learning Bevy

learn-egui

learn-go

learn-haskell

learn-julia

me learning julia

learn-koka

learn-lua

me learning lua

learn-prolog

Me Learning Prolog

learn-racket

me learning racket

learn-scala

learn-taichi

learn-tauri

learn-topos

learn-vulkan-cpp

learn-vulkan-rs

learn-wgpu

learn webgpu

litrs

Parsing and inspecting Rust literals (particularly useful for proc macros)

mmaclone

A simple Wolfram Language clone in Haskell

motif

naproche

Write formal proofs in natural language and Latex.

nlp-datasets

Alphabetical list of free/public domain datasets with text data for use in Natural Language Processing (NLP)

npac

Nondeterministic PAC Learning Theory