Limbo is a project to build the modern evolution of SQLite.

An implementation of BBS+ signatures for node and browser environments

Async-SQLModel is an extension module of SQLModel, making it compatible with asynchronous programming, especially useful when lazy-loading relational fields asynchronously.

urllib/urllib2 backend for GSSAPI/SPNEGO authentication to HTTP/HTTPS servers

Attribute-based access control (ABAC) SDK for Python

Quantum optimal control based on dynamiqs, diffrax and JAX

A more structured way to create simulations. The aim is to have simple qubit-resonator systems which can be simulated over time both with and without measurements.

Recipe for FPGA cooking

Integration on PL side of Zynq7000 for PYNQ framework of common industrial devices (GPIO, I2C, SPI and UART)

A high performance Python graph library implemented in Rust.

A collection of reusable, high-quality, peer-reviewed VHDL building blocks.

jax + quantum dynamics simulations

Example projects for RFSoC 4x2 board

Writing a sqlite clone from scratch in C

Board repo for the ZCU216 RFSOC

The Z3 Theorem Prover

Python script to find all repositories in a directory that have un-tracked files and uncommitted changes

Schusterlab tensorflow qoc code

3D finite element solver for computational electromagnetics

Nonlinear Inductive Network Analyzer

Meta-Project for Sinara: Wiki, inter-board design, incubator for new projects

Open-sourcing the PYNQ & RFSoC workshop materials

A Python wrapper to the OpenEMS FDTD solver with Kicad footprint generation

A python interface to Elmer.

Build your personal knowledge base with Trilium Notes

Research using Qiskit.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Tools for building and solving models of quantum systems in Qiskit