Code accompanying the paper "Distinct Lifetimes for X and Z Loop Measurements in a Majorana Tetron Device"

A rust parser for CryptnetURLCache metadata files.

DB-based Optical Chemical Structure Recognition

Like the idea?

My collection of Shadow of War mods.

Write LaTeX presentations directly from Lean4~

Inter-process Communication in C# via Named Pipes.

A compiler for homomorphic encryption

Neural Networks and the Chomsky Hierarchy

Official code repo for the O'Reilly Book - "Hands-On Large Language Models"

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Electronic structure Python package for post analysis and large scale tight-binding DFT/NEGF calculations

Scientific Python package for tight-binding calculations in solid state physics

Xatu solves the Bethe-Salpeter equation in solids to obtain the exciton spectrum

Programs for constructing Brillouin zones in three- and two-dimensional space.

Turns your Arduino and LCD setup into an informational display that provides some data about your current GTA V gameplay.

build-week-how-to

Given a path, computes the 3D shape ("trajectoid") that would follow this path when rolling down a slope

Retrieval-Augmented Theorem Provers for Lean

Scientific computing in Lean 4

Bouncy Castle Java Distribution (Mirror)

⟨Grassmann-Clifford-Hodge⟩ differential geometric algebra

Mathematica implementations of machine learning algorithms used for prediction and personalization.

Wolfram Language kernel for Jupyter notebooks

The fundamental package for scientific computing with Python.

Extensible tool for weaving .net assemblies

Simple NATS JetStream UI

JS/WebAssembly build of the Tesseract OCR engine for use in browsers and Node

Microsoft AI