Skip to content
View theemathas's full-sized avatar

Block or report theemathas

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 new markup-based typesetting system that is powerful and easy to learn.

Rust 37,179 1,006 Updated Feb 2, 2025

A mega collection of all resources and news related to Stable Diffusion. Focused around AUTOMATIC1111's webui (https://github.com/AUTOMATIC1111/stable-diffusion-webui)

513 19 Updated Apr 11, 2023

A Rust-based re-write of the Stockfish Chess Engine

Rust 387 41 Updated Jul 9, 2024

A rust library to manage chess move generation

Rust 254 58 Updated Feb 24, 2024

An experimental chessboard widget for Relm/GTK

Rust 66 7 Updated Oct 5, 2022

A Rust library to probe Syzygy endgame tablebases

Rust 25 3 Updated Dec 31, 2024

A Rust library for chess and chess variant rules and operations

Rust 224 43 Updated Jan 4, 2025

Collection of "wat" moments in various languages

PHP 76 17 Updated Oct 25, 2018

Cross-platform Rust rewrite of the GNU coreutils

Rust 18,238 1,308 Updated Feb 2, 2025

Format Rust code

Rust 6,149 902 Updated Jan 21, 2025

Haskell API search engine

Haskell 758 140 Updated Jul 28, 2024

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.

TypeScript 116 49 Updated Aug 28, 2024

Lean Theorem Prover

C++ 2,148 216 Updated Oct 14, 2023

Automatically set paste for you

Vim Script 99 3 Updated Sep 11, 2021

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Rust 29,078 3,070 Updated Feb 2, 2025

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Rust 11,689 1,579 Updated Feb 3, 2025

A simple version control system built on top of Git

Python 1,932 107 Updated Oct 1, 2023

A Programming Language for Deep Learning

Haskell 464 47 Updated May 10, 2018

Roboragi is a Reddit bot which helps link anime, manga, and other Japanese media.

Python 167 30 Updated Mar 25, 2021

Code base for the 2016-17 build season

C 7 7 Updated Jun 1, 2017

A collection of useful .gitignore templates

164,080 83,109 Updated Jan 29, 2025

Empowering everyone to build reliable and efficient software.

Rust 100,949 13,036 Updated Feb 3, 2025
Showing results