Giters
Jannis Harder (jix)

jix

Geek Repo

80

followers

6

following

26

stars

Location:Leipzig

Home Page:https://jix.one

Github PK Tool:Github PK Tool

Organizations
fail0verflow
YosysHQ

Jannis Harder's starred repositories

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

Language:RustLicense:MPL-2.0Stargazers:17405Issues:122Issues:1266

pest

The Elegant Parser

Language:RustLicense:Apache-2.0Stargazers:4526Issues:44Issues:458

hotspot

The Linux perf GUI for performance analysis.

Language:C++Stargazers:4000Issues:90Issues:371

quinn

Async-friendly QUIC implementation in Rust

Language:RustLicense:Apache-2.0Stargazers:3645Issues:60Issues:618

cargo-watch

Watches over your Cargo project's source.

Language:RustLicense:CC0-1.0Stargazers:2700Issues:11Issues:216

zim-desktop-wiki

Main repository of the zim desktop wiki project

Language:PythonLicense:GPL-2.0Stargazers:1888Issues:84Issues:1833

sonobus

Source code for SonoBus, a real-time network audio streaming collaboration tool.

Language:C++License:GPL-3.0Stargazers:1509Issues:31Issues:207

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:808Issues:27Issues:614

git-revise

A handy tool for doing efficient in-memory commit rebases & fixups

Language:PythonLicense:MITStargazers:731Issues:18Issues:67

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustLicense:MITStargazers:602Issues:8Issues:9

flint

FLINT (Fast Library for Number Theory)

Language:CLicense:LGPL-3.0Stargazers:414Issues:17Issues:885

kahypar

KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of very high quality.

Language:C++License:GPL-3.0Stargazers:411Issues:19Issues:126

mm0

Metamath Zero specification language

Language:RustLicense:CC0-1.0Stargazers:302Issues:22Issues:58

pretty.rs

Wadler-style pretty-printing combinators in Rust

Language:RustLicense:MITStargazers:138Issues:5Issues:39

minilp

A pure Rust linear programming solver

Language:RustLicense:Apache-2.0Stargazers:79Issues:4Issues:5

quickdev16

Super Nintendo development cartridge

Language:CStargazers:69Issues:12Issues:2

rust-pandoc

Language:RustLicense:Apache-2.0Stargazers:50Issues:3Issues:17

baryrat

A Python package for barycentric rational and polynomial interpolation and approximation.

Language:PythonLicense:BSD-2-ClauseStargazers:39Issues:8Issues:8

pandoc-ast

Language:RustLicense:NOASSERTIONStargazers:35Issues:3Issues:10

stringsearch

Collection of techniques for (binary) string searching

Language:RustStargazers:21Issues:4Issues:1

yvis

bsp visibility precomputer, but in Rust

Language:RustStargazers:14Issues:3Issues:0

rate

DRAT/DPR proof checker

Language:RustLicense:MITStargazers:9Issues:3Issues:5

Craftwerk

Haskell 2D graphics / visualization library

Language:HaskellStargazers:8Issues:3Issues:10

fold

high abstraction synthesis

Language:PythonLicense:ISCStargazers:8Issues:3Issues:2

smolheed

A thin wrapped on top of LMDB with minimum overhead

Language:RustLicense:MITStargazers:1Issues:3Issues:0

gn-ttgen

Language:TypeScriptLicense:MITStargazers:1Issues:2Issues:0