Beast code in Giters

James Sully's starred repositories

godot

Godot Engine – Multi-platform 2D and 3D game engine

Language:C++MIT87000 1518 51051

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Language:RustMIT12649 38 590

quinn

Async-friendly QUIC implementation in Rust

Language:RustApache-2.03627 60 614

niri

A scrollable-tiling Wayland compositor.

Language:RustGPL-3.02912 27 242

tide

🌊 The ultimate Fish prompt.

Language:ShellMIT2763 14 385

refactoring.nvim

The Refactoring library based off the Refactoring book by Martin Fowler

Language:LuaMIT2678 22 146

concurrencpp

Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all

Language:C++MIT2186 52 63

slotmap

Slotmap data structure for Rust

Language:RustZlib1094 14 75

cage

A Wayland kiosk

Language:CMIT1069 23 221

rust-signals

Zero-cost functional reactive Signals for Rust

Language:RustMIT617 16 56

rocks.nvim

Neovim plugin management inspired by Cargo, powered by luarocks

Language:LuaGPL-3.0575 6 164

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Language:HaskellGPL-3.0432 17 293

elan

The Lean version manager

Language:RustApache-2.0279 18 70

nvim-best-practices

Collection of DOs and DON'Ts for modern Neovim Lua plugin development

CC0-1.0238 6 9

awesome-wayland

A curated list of Wayland resources

CC0-1.0160 5 3

eventuals

Eventually consistent values for Rust

Language:Rust119 24 2

niri-flake

Nix packages and modules for niri

Language:NixMIT77 1 22

doc-gen4

Document Generator for Lean 4

Language:LeanApache-2.057 12 77

cabal-add

Extend Cabal build-depends from the command line

Language:HaskellBSD-3-Clause47 3 3

lean4-tactics

Overview of tactics in Lean 4 for beginners — longer version

Unlicense39 40

blight

A hassle-free CLI utility/library to manage backlight on Linux; one that plays well with hybrid GPU configuration and proprietary drivers.

Language:Rust22 1 6

reservoir

Package registry for Lean/Lake.

Language:VueApache-2.016 2 22

socket.lean

sockets for Lean 4

Language:LeanMIT12 1 1

lean4-itertools

A Lean 4 library for iterators.

Language:LeanMIT11 30

nix-pi

Raspberry Pi Specific flakes for NixOS

MIT10 10

http

Basic HTTP definitions and parsing for Lean

Language:LeanApache-2.06 20

haskell-template

Template for my Haskell + Nix projects

Language:NixISC5 2 2

lean-libuv

Bindings to LibUV in Lean

Language:Lean500

Socket.lean

A toy implementation of socket programming for Lean 4.

Language:CApache-2.0400

leandate

Leandate - A date and time library for Lean4

Language:Lean200