HTML Validator, Formatter, LSP, and Templating Language Library

This API provides programmatic access to the AlphaGenome model developed by Google DeepMind.

A cross-platform GUI library for Rust, inspired by Elm

Moved to Codeberg

Open-Source Posit RISC-V Core with Quire Capability

Collaboration space for discussing and exploring technical and data standards

Performant, batteries-included completion plugin for Neovim

a debugger for async rust!

A mdbook backend powered by Pandoc.

Neovim support for the Lean theorem prover

A Rust port of FlameGraph

Visualize Ownership and Lifetimes in Rust

LTeX+ Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others

This plugin displays your tex source in a textarea so plugins like grammarly can check it.

A command-line benchmarking tool

A Rust implementation of interval arithmetic (IEEE 1788)

A standalone and lightweight C library

Source for the TechEmpower Framework Benchmarks project

Spike, a RISC-V ISA Simulator

The Python programming language

A list of interesting genome browser and genome visualization programs

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Implementation of my Bachelor thesis. A Practical Grammar-Based Index for Finding Approximate Longest Common Substrings.

A massively parallel, high-level programming language

Hook providing relative recurring tasks for Task Warrior.

🤖 Just a command runner

Components of genome sequence assembly tools

A language server for GNU Make, supporting context-aware autocompletion for implicit and automatic variables.

Decompilation of Pokémon FireRed/LeafGreen