Basile Henry (basile-henry)

basile-henry

Geek Repo

Company:@MyrtleSoftware

Location:Copenhagen, DK

Home Page:https://www.basilehenry.com

Twitter:@basile_henry

Github PK Tool:Github PK Tool

Basile Henry's starred repositories

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:30554Issues:180Issues:4123

ruff

An extremely fast Python linter and code formatter, written in Rust.

Language:RustLicense:MITStargazers:27513Issues:74Issues:4429

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:RustLicense:Apache-2.0Stargazers:15840Issues:83Issues:1683

rust-analyzer

A Rust compiler front-end for IDEs

Language:RustLicense:Apache-2.0Stargazers:13653Issues:93Issues:7409

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

Language:OCamlLicense:MITStargazers:4473Issues:33Issues:92

xilem

An experimental Rust native UI framework

Language:RustLicense:Apache-2.0Stargazers:2978Issues:75Issues:57

tract

Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference

Language:RustLicense:NOASSERTIONStargazers:2082Issues:41Issues:238

perf-book

The book "Performance Analysis and Tuning on Modern CPU"

Language:TeXLicense:CC0-1.0Stargazers:1876Issues:57Issues:17

samply

Command-line sampling profiler for macOS and Linux

Language:RustLicense:Apache-2.0Stargazers:1820Issues:16Issues:70

bacon

background rust code check

Language:RustLicense:AGPL-3.0Stargazers:1482Issues:8Issues:130

ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

Language:RustLicense:NOASSERTIONStargazers:1189Issues:20Issues:38

wasm4

Build retro games using WebAssembly for a fantasy console.

Language:TypeScriptLicense:ISCStargazers:1083Issues:17Issues:205

kitten

A statically typed concatenative systems programming language.

Language:HaskellLicense:NOASSERTIONStargazers:1079Issues:71Issues:157

attic

Multi-tenant Nix Binary Cache

Language:RustLicense:NOASSERTIONStargazers:813Issues:14Issues:97

qoa

The “Quite OK Audio Format” for fast, lossy audio compression

bark

live sync audio streaming for local networks

Language:RustLicense:AGPL-3.0Stargazers:658Issues:9Issues:9

mevi

A memory visualizer in Rust (ptrace + userfaultfd)

Language:RustLicense:Apache-2.0Stargazers:645Issues:9Issues:8

system-manager

Manage system config using nix on any distro

Language:RustLicense:MITStargazers:565Issues:14Issues:21

nixos-in-production

Source files for the book "NixOS in Production"

Language:HCLLicense:NOASSERTIONStargazers:439Issues:24Issues:25

HexoSynth

A FLOSS (Open Source) hexagonal modular synthesizer plugin.

Language:RustLicense:GPL-3.0Stargazers:206Issues:10Issues:7

advent-of-code-jq

Solving Advent of Code with jq

typhon

Nix-based continuous integration

Language:RustLicense:AGPL-3.0Stargazers:180Issues:7Issues:21

oscen

Rust Sound Synthesis Library

Language:RustLicense:Apache-2.0Stargazers:133Issues:7Issues:17

icicle

A gtk4/libadwaita installer for NixOS based distributions

Language:RustLicense:GPL-3.0Stargazers:63Issues:4Issues:6

nix-bash-completions

Bash completion for the Nix command line tools

Language:ShellLicense:BSD-3-ClauseStargazers:50Issues:8Issues:15

rvasm

RISC-V Assembler

Language:RustLicense:Apache-2.0Stargazers:17Issues:2Issues:2

nix-lib

Jade's Nix libraries

Language:NixLicense:MITStargazers:10Issues:3Issues:0

fabrik

Sudoku solving library using iterators. Written in Rust ❤️

Language:RustLicense:MITStargazers:10Issues:0Issues:0

clash-ulx3s-examples

Collection of Clash examples

Language:HaskellLicense:MITStargazers:3Issues:0Issues:0