Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

LHolten Follow

Overview Repositories 41 Projects 0 Packages 0 Stars 150

More

Overview
Repositories
Projects
Packages
Stars

LHolten

Follow

Hytak LHolten

Follow

16 followers · 2 following

Achievements

Achievements

Block or report LHolten

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.

Add an optional note:

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

Overview Repositories 41 Projects 0 Packages 0 Stars 150

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Rust Lean CSS Haskell C# Python Jupyter Notebook C++ Mathematica JavaScript Lua

Sort Last updated

Select order

Last updated Name Stars

rust-query Public

Type safe query builder for rust

Rust 323 7 Apache License 2.0 Updated Dec 22, 2024
aoc24lean Public

Advent of Code 2024 in Lean 4

Lean Updated Dec 4, 2024
blog Public

CSS 2 Updated Nov 25, 2024
advent-of-wasm Public

Rust 1 Updated Nov 24, 2024
jotihunt Public

Jotihunt collaborative map with traccar support and RD coords for use by the Olivier van Noort group.

Rust 1 Updated Oct 19, 2024
axum Public
Forked from tokio-rs/axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Rust Updated Sep 24, 2024
trackmania-controller Public

Load maps into a trackmania server while it is running

Rust Updated Mar 15, 2024
refinement-types Public

Type system experiments

Rust 2 Updated Mar 13, 2024
Cluster-Editing Public

Graph editing to make clusters!

Rust Creative Commons Attribution 4.0 International Updated Feb 22, 2024
onitama-solver Public

The fastest Onitama tablebase generator

Rust 1 Updated Feb 22, 2024
miette Public
Forked from zkat/miette

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

Rust Apache License 2.0 Updated Jan 11, 2024
z3.rs Public
Forked from prove-rs/z3.rs

Rust bindings for the Z3 solver.

Rust Updated Nov 25, 2023
agda-commassoc Public
Forked from agda/agda

Fork of Agda with definitional commutativity and associativity

Haskell Other Updated Jul 10, 2023
Gridentify Public

Rust 1 Updated May 1, 2023
hash-table-image Public

For computer graphics seminar, uses a stack of hash tables followed by a neural network

Rust Updated Dec 18, 2022
rlbot-bm-rust Public

Rust 3 Updated Nov 6, 2022
Programming-Language-Benchmarks Public
Forked from hanabi1224/Programming-Language-Benchmarks

Yet another implementation of computer language benchmarks game

C# MIT License Updated Apr 21, 2022
rlbot-place-config Public
Forked from lucas-emery/rlbot-place-config

The config for our r/place script

Apache License 2.0 Updated Apr 4, 2022
onitama Public

Rust 1 Updated Apr 2, 2022
Volpe Public

programming language

volpe

Rust 5 1 Updated Jan 17, 2022
wasm-tools Public
Forked from bytecodealliance/wasm-tools

Low level tooling for WebAssembly in Rust

Rust Apache License 2.0 Updated Aug 31, 2021
3ways Public

Rust 1 Updated Aug 16, 2021
onitama-game Public

Rust Updated Jul 14, 2021
DialoGPT-MMI-decoder Public

MMI decoder for DialoGPT and discord bot

Python 42 4 MIT License Updated Mar 3, 2021
shor Public

Jupyter Notebook 1 2 Updated Jan 27, 2021
Autoplay Public
Forked from ViliamVadocz/Autoplay

Small bots to automatically play various games.

Rust Updated Nov 12, 2020
verysleepy Public
Forked from VerySleepy/verysleepy

Very Sleepy, a polling CPU profiler

C++ GNU General Public License v2.0 Updated Nov 9, 2020
RLBotPack Public
Forked from RLBot/RLBotPack

A collection of ready-to-use bots made by the community.

Python MIT License Updated Oct 25, 2020
DisasterBot Public

A Rocket League community collaboration bot

Python 6 1 MIT License Updated Jun 13, 2020
Gridentify-GUI Public
Forked from DaCoolOne/Gridentify-GUI

An open-source Gridentify UI/UX for humans

Python MIT License Updated May 22, 2020

Previous Next

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.