#
🙂
Highlights
Lists (2)
Starred repositories
Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/
The strongly-typed, compiled language for creating route filters, used by Rotonda.
Course repository for "MAT605 Logic and Foundations with Haskell" at UZH Spring 25.
Simple, elegant, Pythonic functional programming.
Language for high-assurance and high-speed cryptography
R Language Mode in Processing for Creative Coding, created by @gaocegege, maintained by @jeremydouglass
High-performance Quantum compiler (JIT) & simulation framework w/ OpenQASM 3.0 support and intuitive UI. Built entirely in Rust, with Python support for research workflows, and Tauri support for bu…
A Julia implementation of choice sequence based PBT, inspired by Hypothesis
Build & ship backends without writing any infrastructure files.
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
KeePassXC Browser Extension
Library for simulating time binned photons in Waveguide Quantum Electrodynamics
measurement-based quantum computing (MBQC) compiler and simulator
Beautiful and reliable typst code formatter
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
A simple static type checker that enforces C-style programming in Julia