ThomasCrevoisier

Thomas Crevoisier's starred repositories

gitea

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

Language:GoMIT42707 499 13155

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustApache-2.033382 188 1844

trilium

Build your personal knowledge base with Trilium Notes

Language:JavaScriptAGPL-3.025936 273 3449

delta

A syntax-highlighting pager for git, diff, grep, and blame output

Language:RustMIT21177 80 758

hyperfine

A command-line benchmarking tool

Language:RustApache-2.020518 92 242

zellij

A terminal workspace with batteries included

Language:RustMIT18990 100 1807

loguru

Python logging made (stupidly) simple

Language:PythonMIT18522 140 963

just

🤖 Just a command runner

Language:RustCC0-1.018190 66 911

catppuccin

😸 Soothing pastel theme for the high-spirited!

Language:TypeScriptMIT13486 46 422

hurl

Hurl, run and test HTTP requests with plain text.

Language:RustApache-2.012088 46 603

react-spectrum

A collection of libraries and tools that help you build adaptive, accessible, and robust user experiences.

Language:TypeScriptApache-2.012034 66 2278

atuin

🐢 Magical shell history

Language:RustMIT10781 45 388

dagster

An orchestration platform for the development, production, and observation of data assets.

Language:PythonApache-2.010546 115 7029

grpcurl

Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers

Language:GoMIT10284 74 232

xsv

A fast CSV command line toolkit written in Rust.

Language:RustUnlicense10155 101 251

plt

Programming Language Theory λΠ

Language:CSS5162 277 23

xh

Friendly and fast tool for sending HTTP requests

Language:RustMIT4888 23 140

strong_migrations

Catch unsafe migrations in development

Language:RubyMIT3900 32 167

tbls

tbls is a CI-Friendly tool for document a database, written in Go.

Language:GoMIT3177 24 131

awesome-humane-tech

Promoting Solutions that Improve Wellbeing, Freedom and Society

CC0-1.02993 108 31

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

2069 93 9

resoto

Resoto creates an inventory of your cloud ☁️, provides deep visibility 👀, and reacts to changes in your infrastructure 🌐.

Language:PythonAGPL-3.01519 19 153

dotter

A dotfile manager and templater written in rust 🦀

Language:RustUnlicense798 10 119

awesome-learning-haskell

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

404 38 1

pgsanity

Check syntax of postgresql sql files

Language:PythonMIT308 11 26

Frames

Data frames for tabular data.

Language:HaskellNOASSERTION294 18 125

hhtwm

hackable tiling window manager for macOS and Hammerspoon

Language:LuaMIT231 7 10

dovetail

A PureScript interpreter in Haskell

Language:HaskellBSD-3-Clause118 3 25

TimeLines-hs

A modular synth and sequencer for live coding music (in) time

Language:HaskellBSD-3-Clause57 4 4

tidal-bootstrap

Quick installation of TidalCycles programming environment

Language:ShellGPL-3.048 6 18