Skip to content

#

walnut

Here are 9 public repositories matching this topic...

Language: All

Filter by language

All 9 C++ 2 C 1 CSS 1 PHP 1 Rust 1 Shell 1

Lootyhoof / walnutty

Wooden-style theme for Pale Moon

css theme pale-moon walnut gnome-icons

Updated Sep 6, 2026
CSS

ahryshan / RayMan

Ray tracing renderer

graphics vulkan glfw imgui raytracing walnut

Updated Nov 4, 2023
C++

raffaelschneider / walnut

Walnut is an open, flexible, and POSIX-compatible standard for organizing personal knowledge bases—a modern "second brain" system.

posix knowledge-management walnut digital-garden second-brain digital-oasis

Updated Jan 2, 2026
Shell

lamwimham / walnut-releases

Local-First LLM Wiki — AI-native second brain with incremental knowledge compilation, Chrome clipper, and interlinked wiki pages.

desktop-app updater ai auto-update github-releases knowledge-base walnut tauri local-first

Updated Jul 14, 2026

PixelSenseiAvi / GLADWalnut

The Renderer implemented in GLAD

opengl rendering renderer glad walnut thecherno cherno imgui-glfw

Updated Jun 20, 2023
C

Clivern / Walnut

📧 Async Transactional Email Service.

transactional-emails walnut php-application clivern sendg

Updated Sep 5, 2026
PHP

Bugitoy / Cherno-Raytracing

Multithreaded CPU path tracer in C++ (Walnut/Vulkan) with progressive accumulation, interactive ImGui scene editing, and ~31 ms per-frame on the reference scene.

vulkan path-tracing walnut

Updated Nov 3, 2025
C++

hingstona / peanut

First-order-logic decision procedure for automatic sequences (a Walnut-style prover in Rust): adaptive determinization ladder, guess-and-verify FE construction, Fibonacci/Tribonacci/Pell numeration, resource guard, Python API, web GUI. Benchmarked against Walnut.

rust mathematics formal-methods decision-procedure theorem-prover walnut finite-automata combinatorics-on-words automatic-sequences buchi-arithmetic

Updated Aug 22, 2026
Rust

Walnut-Theorem-Prover / documentation

Documentation for the Walnut Theorem Prover

documentation walnut

Updated May 6, 2024

Add this topic to your repo

To associate your repository with the walnut topic, visit your repo's landing page and select "manage topics."