mxmerz

mxmerz's Stars

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust33.1k1854.5k2.5k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust33k882.5k889

• zellij-org/zellij

  A terminal workspace with batteries included

  Language:Rust20.9k1091.9k638

• casey/just

  🤖 Just a command runner

  Language:Rust20.5k711k454

• tokio-rs/axum

  Ergonomic and modular web framework built with Tokio, Tower, and Hyper

  Language:Rust18.5k1277541k

• pyodide/pyodide

  Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

  Language:Python12.1k1281.7k816

• SeaQL/sea-orm

  🐚 An async & dynamic ORM for Rust

  Language:Rust7k36802493

• red-data-tools/YouPlot

  A command line tool that draw plots on the terminal.

  Language:Ruby4.2k212957

• loco-rs/loco

  🚂 🦀 The one-person framework for Rust for side-projects and startups

  Language:Rust4k31280169

• ron-rs/ron

  Rusty Object Notation

  Language:Rust3.3k26229122

• notofonts/noto-cjk

  Noto CJK fonts

  Language:Python3k97268214

• RazrFalcon/resvg

  An SVG rendering library.

  Language:Rust2.7k32659220

• notofonts/noto-fonts

  Noto fonts, except for CJK and emoji

  Language:Python2.5k129633200

• coin-or/pulp

  A python Linear Programming API

  Language:Python2.1k65406383

• mitmproxy/pdoc

  API Documentation for Python Projects

  Language:Python1.9k30393190

• microsoft/debugpy

  An implementation of the Debug Adapter Protocol for Python

  Language:Python1.8k351.2k133

• Canop/bacon

  background rust code check

  Language:Rust1.7k914158

• latex-lsp/texlab

  An implementation of the Language Server Protocol for LaTeX

  Language:Rust1.5k1437852

• unicode-org/icu4x

  Solving i18n for client-side and resource-constrained environments.

  Language:Rust1.4k331.8k174

• mozilla/cargo-vet

  supply-chain security for Rust

  Language:Rust6521223844

• cedricblondeau/world-cup-2022-cli-dashboard

  Watch live World Cup 2022 matches in your terminal. ⚽🏆

  Language:Go4373911

• ManimCommunity/manim_editor

  Web Presenter for Mathematical Animations using Manim.

  Language:Python26057012

• mkalioby/django-passkeys

  Django Authentication Backend For Passkeys

  Language:Python190121520

• thisisparker/xword-dl

  ⬛⬜⬛ Command line tool to scrape crosswords from online solvers and save them as .puz files ⬛⬜⬛

  Language:Python145128031

• flypitch/flypitch

  A formal proof of the independence of the continuum hypothesis

  Language:Lean115133016

• google/rust_icu

  rust_icu: rust bindings for ICU (International Components for Unicode) library

  Language:Rust1131410834

• pdm-book/community

  751190

• dagstuhl-publishing/styles

  LaTeX Styles provided by Dagstuhl Publishing

  Language:TeX3152811

• rust-or/lp-solvers

  library implementing interaction with various linear programming solvers

  Language:Rust19559

• Robbepop/dimacs-parser

  Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

  Language:Rust8223