Stars
Mathematica packages for geometric algebra
keithbowes / weston-binder
Forked from tarvi-verro/weston-binderSpecify your own keybindings in Weston.
🎨 数学公式识别增强版:中英文手写印刷公式、支持初级符号推导(数据结构基于 LaTeX 抽象语法树)Math Formula OCR Pro, supports handwrite, Chinese-mixed formulas and simple symbol reasoning (based on LaTeX AST).
A plotting library used to draw plots and graphs in typst
Lightweight, fully-featured, idiomatic cross-platform Zig bindings to Lightning Memory-Mapped Database (LMDB).
Geant4 toolkit for the simulation of the passage of particles through matter - NIM A 506 (2003) 250-303
Simulation of electric and magnetic fields and particle tracking
The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For deta…
SimpleCV is a simple and elegant CV template written in Typst.
A new markup-based typesetting system that is powerful and easy to learn.
arduino library for A2DP bluetooth module based on BK3254 chip from Beken Corp (F-6888) and BK3266 based module F-6988 from HYT named HY5066 (not HY5066SR)
metamath proof enumerators and other things
Metamath program - source code for the Metamath executable
Exploration of x86-64 ISA using speculative execution.
GUI disassembler and binary analysis tool utilizing GNU binutils
Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)