Effortlessly create quantum circuit diagrams in Typst.

A Git-compatible VCS that is both simple and powerful

Vim mode for Idris 2

Theorem Proving in Lean 4

The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello

A CLI interface for Marp and Marpit based converters

The entrance repository of Markdown presentation ecosystem

Clifford circuits, graph states, and other quantum Stabilizer formalism tools.

Server to host lean games.

Simple Unicode character search for Obsidian.md

Simulating Rydberg atom dynamics with Tensor Networks

Julia Wrappers for the arpack-ng Fortran library

A set of tutorials for quantum reservoir learning.

examples for bloqade python

Repository for OpenMP parallelized Sparse tools

A computer algebra system written in pure Python

A command-line solver for the card game Machiavelli

Integrate Git version control with automatic commit-and-sync and other advanced features in Obsidian.md

A scientific computing book for physicists, with Julia programming language

❄️ Visual editor for open FPGA boards

🌱 Open source ecosystem for open FPGA boards

🌱 Apio examples

Various code metrics for Python code

Demos for book: Scientific computing for physicists.

Generic tensor networks for solution space properties.

A simplified Julia-native implementation of the Dormand-Prince 5th and 8th order solvers

An experimental code analyzer for Julia. No need for additional type annotations.