https://github.com/jsfpdn/sdd-rs

Bottom-up sentential decision diagram compiler.

decision-diagram knowledge-compilation model-counting model-enumeration satisfiability-problem sdd sentential-decision-diagram

Last synced: 29 Jul 2025

https://github.com/jsfpdn/yatlc

yet-another-toy-language compiler

compiler llvm zig

Last synced: 14 Oct 2025

https://github.com/jsfpdn/tipsntricks

Tips&tricks collected to prevent googling in the future 🚀

Last synced: 05 Feb 2026

https://github.com/jsfpdn/mongomanager

This is a repository for a secondary school-leaving work regarding MongoDB and scripts for managing instances and data.

bash cli mongodb python school-project

Last synced: 05 May 2026

https://github.com/jsfpdn/jsfpdn.github.io

Last synced: 06 Jan 2026

https://github.com/jsfpdn/linting_examples

Last synced: 26 Mar 2025

https://github.com/jsfpdn/zig-llvm-example

Example of emitting LLVM IR from Zig.

Last synced: 13 Sep 2025

https://github.com/jsfpdn/git-audit

Git Audit tool computing changelogs from public GitHub repositories.

Last synced: 19 Jul 2026