Highlights
- Pro
Stars
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
Magisk module to enables pixel exclusive features and ui
LTeX: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others
Display H5P content without the need for an H5P server
A list of awesome resources for Playdate (https://play.date) game development and the Playdate SDK (https://play.date/dev/)
Deep learning in Rust, with shape checked tensors and neural networks
Lean 4 programming language and theorem prover
Port of Simon Tatham's Portable Puzzle Collection to the PocketBook eReader platform
A new markup-based typesetting system that is powerful and easy to learn.
DisplayMagician is an open source tool for automatically configuring your displays and sound for a game or application from a single Windows Shortcut.
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Safe, efficient, and ergonomic bindings to Wolfram LibraryLink and the Wolfram Language
Downloader for https://ilias.studium.kit.edu/
Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!
Linear algebra package for rust-ndarray using LAPACK binding
Collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.
Decode binaries and print out which instruction set extensions they use. This program's name is a lie: it supports not just x86/ELF but also ARM64, MachO, and possibly more.
Serde serializable and deserializable trait objects
An open Apple Wireless Direct Link (AWDL) implementation written in C
Rust numeric library with high performance and friendly syntax
A utility for managing cargo dependencies from the command line.