Skip to content
View phagenlocher's full-sized avatar
๐Ÿณ๏ธโ€๐ŸŒˆ
๐Ÿณ๏ธโ€๐ŸŒˆ
Block or Report

Block or report phagenlocher

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

A tiling window manager for X11

C 9,353 770 Updated Aug 5, 2024

A Docker image for the unflac project. https://git.sr.ht/~ft/unflac

Dockerfile 5 1 Updated Dec 5, 2021

Main repository for the servant libraries โ€” DSL for describing, serving, querying, mocking, documenting web applications and more!

Haskell 1,799 410 Updated Aug 14, 2024

Haskell Web Application Interface

Haskell 829 259 Updated Aug 6, 2024

๐Ÿ‘‘ Format Haskell package descriptions.

Haskell 47 5 Updated Jul 31, 2024

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

TypeScript 64,763 3,525 Updated Aug 16, 2024

A powerful but simple library for measuring the performance of Haskell code.

Haskell 498 87 Updated May 12, 2024

Named parameters (keyword arguments) for Haskell

Haskell 92 5 Updated Feb 5, 2023

For when people get too hyped up about things

7,262 82 Updated Jan 5, 2024

Proving leftpad correct two-dozen different ways

SystemVerilog 632 60 Updated Feb 5, 2024

A "monorepo" of "packages" that I accidentally ended up making while trying to do something else.

Haskell 5 Updated Apr 10, 2024

Miscellaneous articles. The readme is the table of contents.

Haskell 1,247 91 Updated Jul 12, 2023

Invidious is an alternative front-end to YouTube

Crystal 15,828 1,727 Updated Aug 16, 2024

PortAudio is a cross-platform, open-source C language library for real-time audio input and output.

C 1,405 295 Updated Aug 15, 2024

Small, fast and powerful console music player for Unix-like operating systems.

C 5,461 466 Updated Aug 12, 2024

Some tools for provability logic

Haskell 36 1 Updated Apr 16, 2018

A stack-based array programming language

Rust 1,501 107 Updated Aug 16, 2024

Godot Engine โ€“ Multi-platform 2D and 3D game engine

C++ 87,875 19,854 Updated Aug 16, 2024

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

61,787 6,404 Updated Aug 16, 2024

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

V 35,621 2,153 Updated Aug 16, 2024

A formatter for Haskell source code

Haskell 944 83 Updated Jul 11, 2024

A catalog of programming languages

762 23 Updated Sep 25, 2023

The best tool for finding one gadget RCE in libc.so.6

Ruby 2,009 137 Updated Aug 7, 2024

PRQL is a modern language for transforming data โ€” a simple, powerful, pipelined SQL replacement

Rust 9,715 208 Updated Aug 12, 2024

a small scripting language for the web

JavaScript 2,995 144 Updated Jun 18, 2024

๐ŸŒธ a minimal css framework/theme.

HTML 4,088 181 Updated Feb 9, 2024

A free (as in freedom) OCaml textbook

CSS 129 10 Updated May 11, 2024

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Haskell 1,711 133 Updated Jul 19, 2024

A technical explainer by @kognise of how your computer runs programs, from start to finish.

MDX 4,809 148 Updated Jun 15, 2024
Next