Lists (2)
Starred repositories
Creusot helps you prove your code is correct in an automated fashion.
Theano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as PyTensor: www.github.…
Typst-based CV/resume generator for academics and engineers
JAX in JavaScript – an ML library for the web, running on WebGPU & Wasm
RISC-V emulator/simulator in Python
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
A Python-level JIT compiler designed to make unmodified PyTorch programs faster.
Constrained Decoding of Diffusion LLMs with Context-Free Grammars.
A highly customizable macOS status bar replacement
(No longer maintained) A faster and highly-compatible implementation of the Python programming language.
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
qTox is a chat, voice, video, and file transfer IM client using the encrypted peer-to-peer Tox protocol.
Efficiently computes derivatives of NumPy code.
Tilus is a tile-level kernel programming language with explicit control over shared memory and registers.
A static, type inferred and embeddable language written in Rust.
Minimalist, dependency-free virtual machine sandbox for microcontrollers and other resource-constrained devices. Single C file, no dynamic memory allocations, asynchronous design, pure C99