#
Starred repositories
Attention Kernels for Symmetric Power Transformers
Code for the paper "Evaluating Large Language Models Trained on Code"
Hand-written verified Lean solutions for the HumanEval benchmark
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Damn Vulnerable MCP Server
The official C# SDK for Model Context Protocol servers and clients. Maintained in collaboration with Microsoft.
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
🛫 Zero-codegen, no-compile TypeScript `type` inference from protobuf `message`s
A port of MiniKanren to F# - embedded, typed logic programming
A hobby language for the .NET platform that supports Hindley–Milner type inference.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Zero allocation LINQ with LINQ to Span, LINQ to SIMD, and LINQ to Tree (FileSystem, JSON, GameObject, etc.) for all .NET platforms and Unity, Godot.
Proof of Concept using MLIR and LLVM to build binaries from F# code
LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously lear…