jonhoo

followers

following

stars

@helsing-ai

Oslo, Norway

https://thesquareplanet.com

Jon Gjengset's starred repositories

helix

A post-modern modal text editor.

Language:RustMPL-2.030353 179 4106

manim

A community-maintained Python framework for creating mathematical animations.

Language:PythonMIT19219 132 1451

open-gpu-kernel-modules

NVIDIA Linux open GPU kernel module source

Language:CNOASSERTION14020 171 302

ast-grep

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Language:RustMIT6083 19 375

readyset

Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.

Language:RustNOASSERTION3896 22 474

jaq

A jq clone focussed on correctness, speed, and simplicity

Language:RustMIT2506 19 102

elfshaker

elfshaker stores binary objects efficiently

Language:RustApache-2.02296 22 61

nextest

A next-generation test runner for Rust.

Language:RustApache-2.01971 6 250

samply

Command-line sampling profiler for macOS and Linux

Language:RustApache-2.01805 17 69

stalin-sort

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

Language:CoqMIT1487 10 10

cargo-dist

📦 shippable application packaging

Language:RustApache-2.01245 6 382

rust-toolchain

Concise GitHub Action for installing a Rust toolchain

Language:ShellMIT981 12 51

vim-smoothie

Smooth scrolling for Vim done right🥤

Language:Vim ScriptMIT974 6 42

nvim-remote-containers

Develop inside docker containers, just like VSCode

Language:LuaNOASSERTION819 8 25

dhat-rs

Heap profiling and ad hoc profiling for Rust programs.

Language:RustApache-2.0686 9 23

purl-spec

A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby

NOASSERTION622 32 154

cargo-auditable

Make production Rust binaries auditable

Language:RustApache-2.0578 17 88

mycelium

🍄 an alleged 'operating system'

Language:RustMIT512 7 110

nvim-dev-container

Neovim dev container support - Mirror of https://codeberg.org/esensar/nvim-dev-container

Language:LuaMIT502 60

OpenSteamClient

Partially open-source alternative Steam Client for Linux.

Language:C++MIT464 19 42

cargo-careful

Execute Rust code carefully, with extra checking along the way

Language:RustApache-2.0359 12 11

cargo-public-api

List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via CI or a CLI.

Language:RustMIT354 4 78

deflect

Reflection via DWARF.

Language:RustApache-2.0293 12 4

a-mir-formality

a model of MIR and the Rust type/trait system

Language:RustApache-2.0252 31 64

topfew

Finds the field values (or combinations of values) which appear most often in a stream of records.

Language:GoGPL-3.0161 5 13

painter

Library and tools for managing ecosystem wide call graphs and llvm-ir analysis

Language:RustNOASSERTION137 6 1

minimal-elf

Creating a minimal ELF file

Language:Rust100 30

krabcake

Umbrella repository for Krabcake experiments

Language:RustNOASSERTION46 4 7

topfew-rs

Rust implementation of Tim Bray's topfew tool

Language:RustGPL-3.037 4 1

fn_name

Rust macros that produce the name of the function they're invoked within.

Language:RustNOASSERTION1800