#
Lists (6)
AI Planning
Collection of Tools and Libraries I've used for AI Planning during my time at IBM and beyond26 repositories
Automated Theorem Proving
Automated Theorem Provers and Interactive Theorem Proving Stuff10 repositories
Jai
Stuff from the Jai Programming Language12 repositories
Lean ITP
Lean Interactive Theorem Proving Repos I like!25 repositories
Minecraft
All the MC and Modded MC repos ive stared25 repositories
Web Stuff
7 repositories
Starred repositories
Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
Jai WASM Plugin
resurrected LLVM "C Backend", with improvements
A python wrapper over KCL-VAL compiled binaries from https://github.com/KCL-Planning/VAL
Tutorials and Cheatsheet for Jai, written by its community
370
Updated Aug 8, 2022
Metaprograms for the Jai programming language which check certain formal properties
1
Updated Jan 17, 2025
A simple and easy-to-use library to enjoy videogames programming
Verified decision procedures for modal logics in Lean
ahmedqarmout2 / raylib-jai
Forked from kujukuju/raylib-jaiJai bindings for Raylib
Native Jai port of the ENet Reliable UDP networking library
A Planning Domain Definition Language (PDDL 3.1) parser written in Rust
Markdown file of the list and explanations of all mathlib4 tactics
This mod (finally) allows dumping of all NEI recipes to a chonky JSON file. It targets the GTNH fork of NEI.