Starred repositories
A small, fast, JavaScript-based JavaScript parser
modusGraph: a transactional, embedded database system for model-native apps
modus: a framework for building agentic flows powered by WebAssembly
Must-read papers on graph neural networks (GNN)
Cell2Sentence: Teaching Large Language Models the Language of Biology
Incredibly fast multi-agent framework, runtime and UI.
Wrapper to use boto3 resources with the aiobotocore async backend
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Isabelle LLVM Code Generator and Refinement
My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
Isabelle/HOL proofs about the eChronos RTOS
A formal definition and verification of System F. To be extended to System Fc
Official inference repo for FLUX.1 models
🐫 CAMEL: The first and the best multi-agent framework. Finding the Scaling Law of Agents. https://www.camel-ai.org
This is a portable implementation of the FreeBSD kernel block-device encryption framework (with read/write support). Currently, GNU/Linux is supported but support may grow to other operating system…
👯 Clone SQL Server databases using PowerShell previously named PSDatabaseClone
A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.