PyTorch native post-training library

Optimize Any User-defined Compound AI Systems

An experiment in cross-platform rendering to OpenGL textures using Mojo as a shading language.

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

ICRA2024 Paper List

Must-read papers on graph neural networks (GNN)

Cell2Sentence: Teaching Large Language Models the Language of Biology

The unified stack for multi-agent systems.

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

Isabelle formalization of binary consensus

Learning Isabelle

Apple's Time Machine fuse read only file system

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

✔ SQL Server Environmental Validation