Skip to content
View kl0tl's full-sized avatar

Organizations

@purescript

Block or report kl0tl

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

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

TypeScript 12,089 128 Updated Oct 12, 2024

Experimental polykinds implementation

Haskell 13 Updated Aug 22, 2019

ECMAScript verification with SMT solvers

TypeScript 122 5 Updated Jun 16, 2024

Programming Fonts with Ligatures added (& a script to add them to other fonts)

Python 2,228 113 Updated Jun 13, 2023

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

2,135 119 Updated Aug 30, 2024

🌸 A command-line fuzzy finder

Go 64,500 2,381 Updated Oct 13, 2024

Master the command line, in one page

153,191 14,543 Updated Jun 25, 2024

A new lossy/lossless image format for photos and the internet

C++ 832 51 Updated Mar 23, 2023

A cryptography book for kids

HTML 260 13 Updated Apr 12, 2018

Monospaced font family for user interface and coding environments

CSS 19,859 1,626 Updated Aug 12, 2024

HLS.js is a JavaScript library that plays HLS in browsers with support for MSE.

TypeScript 14,772 2,565 Updated Oct 11, 2024

A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.

JavaScript 5,120 1,674 Updated Oct 10, 2024

A tool to understand your bundle size and why files are in your bundle

TypeScript 2,893 84 Updated Jan 9, 2024

Google Assistant for macOS!

Swift 1,614 132 Updated Mar 5, 2023

[DEPRECATED] Please use https://github.com/citycide/param.macro

JavaScript 58 2 Updated Dec 12, 2018

Lepton is a tool and file format for losslessly compressing JPEGs by an average of 22%.

C++ 5,008 355 Updated Mar 4, 2024

High Efficiency Image File Format

C++ 1,743 248 Updated Apr 12, 2023

Source code for Scala with Cats

Scala 396 133 Updated Aug 14, 2024

Asynchronous React VirtualDOM renderer for SSR.

JavaScript 1,394 50 Updated Feb 18, 2022

A JavaScript H.264 decoder.

C 2,731 424 Updated Jan 22, 2023

Another trial to get FLIF to the web platform

JavaScript 41 2 Updated Dec 27, 2019

JavaScript-only version of libde265 HEVC/H.265 decoder.

JavaScript 603 163 Updated Jan 20, 2024

libbpg (copy of the source code for easy access)

Assembly 783 109 Updated Jan 30, 2022

Main libjpeg-turbo repository

C 3,743 1,023 Updated Sep 24, 2024

Improved JPEG encoder.

C 5,451 414 Updated Aug 3, 2024

A CLI dashboard for webpack dev server

JavaScript 13,863 365 Updated Aug 12, 2024

Webpack plugin and CLI utility that represents bundle content as convenient interactive zoomable treemap

JavaScript 12,573 486 Updated Oct 11, 2024

Statoscope is a toolkit to analyze and validate webpack bundle

TypeScript 1,435 45 Updated Jun 24, 2024

HTML5/EPUB3 version of SICP

HTML 4,338 599 Updated Apr 14, 2023

Mirror only. Please do not send pull requests. See https://chromium.googlesource.com/webm/libwebp/+/HEAD/CONTRIBUTING.md.

C 2,005 500 Updated Oct 9, 2024
Next