Skip to content
View bwkam's full-sized avatar
🐺
i love wolf
🐺
i love wolf

Organizations

@NixOS

Block or report bwkam

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Learn Lean 4 with PLFA proofs.

Lean 50 5 Updated May 2, 2024

the nix webring

Nix 19 14 Updated Dec 30, 2024

A collaborative bibliography of work related to the theory and practice of computational effects

985 86 Updated Dec 13, 2024

Learn how to design systems at scale and prepare for system design interviews

33,656 3,737 Updated Apr 10, 2024

The Grammar Checker for Developers

Rust 2,657 56 Updated Dec 31, 2024

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

ReScript 6,803 455 Updated Dec 30, 2024

Handy macro to generate C-FFI bindings to Rust for Haskell

Rust 67 1 Updated Dec 29, 2024

Use neovim as pager

Rust 215 5 Updated Jul 29, 2024

lints and suggestions for the nix programming language

Rust 583 22 Updated Nov 29, 2024

n³ The unorthodox terminal file manager

C 19,545 770 Updated Dec 19, 2024

Use the w, e, b motions like a spider. Move by subwords and skip insignificant punctuation.

Lua 678 13 Updated Dec 30, 2024

Automatic CPU speed & power optimizer for Linux

Python 5,925 286 Updated Dec 2, 2024

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Lua 6,582 216 Updated Dec 14, 2024

✨ Clarify and beautify your comments and plain text files using boxes and lines.

Lua 422 17 Updated Aug 10, 2024

A Haxe library for modifying hardcoded values after compiling.

Haxe 11 Updated Feb 20, 2024

A LaTeX MLA style formatter package that allows users to create MLA style documents easily.

TeX 72 21 Updated Aug 20, 2017

🦝 Clean and elegant distraction-free writing for NeoVim

Lua 988 29 Updated Jul 27, 2024

Apply catppuccin flavors to your wallpapers

Vue 189 8 Updated Jun 21, 2024

An awesome collection of aesthetic wallpapers

1,540 70 Updated Dec 27, 2024

All of my wallpapers in one repo.

2,171 107 Updated Mar 6, 2024

A community-maintained Python framework for creating mathematical animations.

Python 28,284 1,969 Updated Dec 23, 2024

Tower middleware to automatically reload your web browser during development

Rust 73 7 Updated Nov 30, 2024

A fast and lightweight 3D audio engine for Kha.

Haxe 42 4 Updated Dec 27, 2024

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Python 13,177 1,052 Updated Dec 5, 2024

A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West.

C++ 7,066 463 Updated Dec 31, 2024

KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)

Nix 476 21 Updated Dec 29, 2024

[Unmaintained, see README] An ecosystem of Rust libraries for working with large language models

Rust 6,091 368 Updated Jun 24, 2024

Templates for haxe. Compiles to HTML or Mithril views.

Haxe 15 2 Updated Dec 23, 2017

A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.

Assembly 11,589 1,050 Updated Dec 31, 2024
Next
Showing results