Skip to content
View khuldraeseth's full-sized avatar
🍊
🍊

Block or report khuldraeseth

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

Starred repositories

Showing results

💸 An app created to help users manage a budget and purchases

Dart 2,059 270 Updated Oct 9, 2024

This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.

294 17 Updated Dec 10, 2024

Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos

Dafny 10 Updated May 20, 2023

A collection of JSON schema files including full API

JavaScript 3,160 1,735 Updated Dec 23, 2024

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 29,806 12,304 Updated Dec 24, 2024

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

Rust 4,272 1,079 Updated Dec 7, 2024

Full-blown preprocessor metaprogramming

C 882 25 Updated Dec 1, 2024

Discord bot for Pro Baseball Experience Sim League

JavaScript 7 4 Updated Nov 20, 2024

Range library for C++14/17/20, basis for C++20's std::ranges

C++ 4,160 443 Updated Oct 1, 2024

Discord.js bot for the MSU CSE server

JavaScript 1 Updated May 14, 2022

CSE 232 - Introduction to Programming II at Michigan State University

C++ 9 8 Updated Dec 5, 2024

The engine for haskell ide-integration. Not an IDE

Haskell 2,377 208 Updated Dec 23, 2020

Free (libre) font editor for Windows, Mac OS X and GNU+Linux

C 6,615 708 Updated Nov 12, 2024

Better Discord enhances Discord desktop app with new features.

JavaScript 8,099 986 Updated Dec 19, 2024

Player Updater website for the PBE

JavaScript 2 1 Updated Jun 15, 2024

A library of tools for scientific software development, with emphasis on also being able to build web interfaces using Emscripten.

C++ 86 38 Updated Dec 23, 2024

Linux kernel source tree

C 184,736 54,515 Updated Dec 24, 2024

This project is purely for learning and possible future use. If you'd like me to attempt to make a data structure or algorithm that isn't present, you can open it as an issue. If you'd like to cont…

C++ 4 Updated Aug 26, 2019

An improved user experience for competitive programming

JavaScript 25 8 Updated Aug 14, 2020
Python 4 3 Updated Nov 26, 2019

Helper bot for games in puzzling.stackexchange.com chat

Python 5 6 Updated Dec 20, 2019

Protege Desktop

Java 1,029 231 Updated Dec 20, 2024

Animation engine for explanatory math videos

Python 72,220 6,328 Updated Dec 17, 2024

A pyramidic language

Ruby 48 2 Updated Aug 13, 2020

Generator for Simple Zeckendorf Sequences

C++ 1 1 Updated Jul 18, 2019

LaTeX package to typeset material for the fifth edition of the "world's greatest roleplaying game".

TeX 1,453 312 Updated Dec 17, 2024

The new Windows Terminal and the original Windows console host, all in the same place!

C++ 96,178 8,372 Updated Dec 22, 2024

The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libraries.

Assembly 925 176 Updated Dec 21, 2024

Unofficial lightweight, searchable copy of the Gloomhaven rule book

158 29 Updated May 18, 2021

A cross-platform virtual tabletop for multiplayer card games

C++ 1,571 455 Updated Dec 24, 2024
Next