acarlson99 starred DSLsofMath/ValiantAgda · October 9, 2023 05:07

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

Agda 5 Updated Sep 9

SuperSpyTX starred gdraheim/docker-systemctl-replacement · October 9, 2023 01:46

docker systemctl replacement - allows to deploy to systemd-controlled containers without starting an actual systemd daemon (e.g. centos7, ubuntu16)

Python 1.2k 5 issues need help Updated Jul 28

michaelbrave starred latte-soft/maui · October 9, 2023 01:40

latte-soft/maui

Roblox Model/Script Bundler

Lua 31 Updated Mar 19

michaelbrave starred jsdotlua/CorePackages · October 9, 2023 01:37

jsdotlua/CorePackages

📁 A collection of Roblox's MIT and Apache2-licensed CorePackages, automatically prepared for Wally.

Lua 59 Updated Apr 8

michaelbrave starred uniquadev/RobloxDumper · October 9, 2023 01:36

uniquadev/RobloxDumper

roblox x86 dumper [04/2023]

C 10 Updated Aug 1

michaelbrave starred blocco/internal-code · October 9, 2023 01:35

blocco/internal-code

This repository contains Lua code used internally by ROBLOX.

Lua 4 Updated Aug 2, 2013

michaelbrave starred jaipack17/Nature2D · October 9, 2023 01:34

jaipack17/Nature2D

A 2D physics engine for Roblox. Create versatile physics simulations and mechanics with GUIs!

Lua 126 3 issues need help Updated Mar 29

michaelbrave starred google/FluidNet · October 8, 2023 19:07

google/FluidNet

Accelerating Eulerian Fluid Simulation With Convolutional Networks

Lua 729 Updated Nov 8, 2022

SuperSpyTX started following mint42 · October 8, 2023 17:43

Riley (Ari) mint42

Hello! I'm a physics major/math minor at OU. Formerly a 42SV student where I learned C/C++. I like astronomy, chess, linux wrangling, platformers, and my pup :)

31 repositories 19 followers

Crybyte starred MunGell/awesome-for-beginners · October 8, 2023 17:08

MunGell/awesome-for-beginners

A list of awesome beginners-friendly projects.

57.3k Updated Oct 6

michaelbrave starred NobleDraconian/Dragon-Engine · October 8, 2023 12:38

NobleDraconian/Dragon-Engine

Universal framework for Roblox games.

Lua 20 Updated May 26

michaelbrave starred plusgiant5/TaaprWareV3 · October 8, 2023 12:37

plusgiant5/TaaprWareV3

A light and very basic level 8 custom DLL Roblox exploit, updated weekly. UI not included.

C++ 40 Updated Oct 4

michaelbrave starred Beastslash/roblox-dialogue-maker · October 8, 2023 12:37

Beastslash/roblox-dialogue-maker

Source code to the Dialogue Maker plugin on Roblox.

Lua 13 Updated Sep 3

michaelbrave starred AmaranthineCodices/recs · October 8, 2023 12:36

AmaranthineCodices/recs

Roblox ECS implementation

Lua 16 Updated May 22, 2022

michaelbrave starred Quenty/asset-downloader · October 8, 2023 12:36

Quenty/asset-downloader

Download roblox assets from within the browser

4 Updated Aug 27, 2013

michaelbrave starred MaximumADHD/Rbx2Source · October 8, 2023 12:35

MaximumADHD/Rbx2Source

A utility tool that automatically assembles Roblox assets into geometry data, which is then compiled into the Source Engine.

C# 62 Updated Jul 31

michaelbrave starred Modnark/rbxdl · October 8, 2023 12:35

Modnark/rbxdl

ROBLOX asset downloader with many options

Python 17 Updated Feb 18

michaelbrave starred tiffany352/RobloxComponentSystem · October 8, 2023 12:35

tiffany352/RobloxComponentSystem

An Entity Component System for Roblox.

Lua 28 Updated May 19, 2019

michaelbrave starred RbxAPI/Pyblox · October 8, 2023 12:32

RbxAPI/Pyblox

An API wrapper for Roblox written in Python. (Maintained)

Python 34 Updated Aug 21, 2022

michaelbrave starred Nanoo-web/robloxasset · October 8, 2023 12:31

Nanoo-web/robloxasset

Download assets directly from Roblox

CSS 5 Updated Mar 13, 2022

michaelbrave starred zyme-xd/rblx-rip · October 8, 2023 12:31

zyme-xd/rblx-rip

An asset ripper for ROBLOX.

JavaScript 27 Updated Jul 2

michaelbrave starred Fraktality/spr · October 8, 2023 12:31

Fraktality/spr

Spring-driven motion library

Lua 79 Updated Oct 1

michaelbrave starred yesitskiko/MT-Api-v2 · October 8, 2023 12:30

yesitskiko/MT-Api-v2

Metatable Api made to simplify Roblox exploiting

Lua 14 Updated Jan 8, 2021

michaelbrave starred chriscerie/roact-spring · October 8, 2023 12:29

chriscerie/roact-spring

A modern spring-physics based animation library for Roact/react-lua inspired by react-spring

Lua 51 Updated Aug 15

michaelbrave starred BeyondThe5D/Retrofiy · October 8, 2023 12:28

BeyondThe5D/Retrofiy

A Roblox script that aims to accurately simulate the 2016 Roblox client.

Lua 12 Updated May 2

michaelbrave starred Nyapaw/Roblox · October 8, 2023 12:22

Nyapaw/Roblox

Useful tools and scripts that can be used for Roblox development.

Lua 12 Updated Apr 29, 2020

michaelbrave starred nidorx/ecs-lua · October 8, 2023 12:22

nidorx/ecs-lua

ECS Lua is a fast and easy to use ECS (Entity Component System) engine for game development.

Lua 104 Updated Oct 22, 2021

michaelbrave starred evaera/roblox-animation-transfer · October 8, 2023 12:21

evaera/roblox-animation-transfer

Transfers Roblox animations from one owner to another.

TypeScript 37 Updated Jul 14

michaelbrave starred dphfox/Fusion · October 8, 2023 12:21

dphfox/Fusion

A modern reactive UI library, built specifically for Roblox and Luau.

Lua 443 Updated Oct 4

michaelbrave starred elevenpassin/awesome-roblox · October 8, 2023 12:18

elevenpassin/awesome-roblox

A curated list of ROBLOX resources, plugins and frameworks!

106 Updated Aug 6, 2022

michaelbrave starred Anaminus/rbxmk · October 8, 2023 12:15

Anaminus/rbxmk

A tool for processing Roblox files.

Go 94 Updated Mar 7

michaelbrave starred ui0ppk/roblox-master-unmodified · October 8, 2023 12:13

ui0ppk/roblox-master-unmodified

the unmodified one

5 Updated Nov 29, 2021

michaelbrave starred pizzaboxer/bloxstrap · October 8, 2023 12:12

pizzaboxer/bloxstrap

An open-source, feature-packed alternative bootstrapper for Roblox.

C# 570 Updated Oct 6

michaelbrave starred dv8-studio/RobloxURLLauncher · October 8, 2023 12:12

dv8-studio/RobloxURLLauncher

JavaScript 24 Updated Aug 4, 2022

michaelbrave starred affenity/bloxy · October 8, 2023 12:11

affenity/bloxy

Interact with the Roblox website and API

TypeScript 51 Updated Jul 16

michaelbrave starred ro-py/ro.py · October 8, 2023 12:11

ro-py/ro.py

ro.py is a modern, asynchronous Python 3 wrapper for the Roblox API.

Python 101 Updated Oct 4

michaelbrave starred iranathan/robloxapi · October 8, 2023 12:10

iranathan/robloxapi

A python module for using the roblox api

Python 33 Updated Jan 1, 2021

michaelbrave starred evaera/matter · October 8, 2023 12:09

evaera/matter

A modern ECS library for Roblox.

Lua 138 Updated Aug 7

michaelbrave starred ui0ppk/roblox-master · October 8, 2023 11:54

ui0ppk/roblox-master

ROBLOX Source code from 2016, carrot version (hitius uploaded)

58 Updated Jan 30

michaelbrave starred iLynkk/roblox-assets-extractor · October 8, 2023 08:22

iLynkk/roblox-assets-extractor

Python script to extract roblox cached assets.

Python 2 Updated Jul 17

mjjply42 starred PlasmoHQ/plasmo · October 8, 2023 06:55

PlasmoHQ/plasmo

🧩 The Browser Extension Framework

TypeScript 6.9k 17 issues need help Updated Oct 3

michaelbrave starred riccochicco/ninjaripper · October 8, 2023 06:44

riccochicco/ninjaripper

Ripper of 3D models/Textures/Shaders from DX11/DX9/DX8 games

C 186 Updated Dec 24, 2014

michaelbrave starred NVIDIAGameWorks/rtx-remix · October 7, 2023 20:34

NVIDIAGameWorks/rtx-remix

Combined repo for the RTX-Remix runtime

1k Updated Sep 7

Lcmalagon created a repository Lcmalagon/2x · October 7, 2023 18:10

Lcmalagon/2x

Updated Oct 7

qst0 starred open-ribbon/open-ribbon · October 7, 2023 05:13

open-ribbon/open-ribbon

vib-ribbon decompilation (PAL version)

C 76 Updated Oct 6

michaelbrave starred xenia-project/xenia · October 7, 2023 04:52

xenia-project/xenia

Xbox 360 Emulator Research Project

C++ 7.3k Updated Oct 6

tapabratadey forked tapabratadey/supabase from supabase/supabase · October 6, 2023 10:30

supabase/supabase

The open source Firebase alternative. Follow to stay updated about our public Beta.

TypeScript 57.5k 6 issues need help Updated Oct 6

tcheee starred dmpierre/nova-browser-ecdsa · October 6, 2023 09:52

dmpierre/nova-browser-ecdsa

In-browser ECDSA aggregation using Nova over secp/secq

TypeScript 23 Updated Sep 13

SuperSpyTX started following you · October 5, 2023 22:41

Joe SuperSpyTX

55 repositories 108 followers

SuperSpyTX started following Zenox64 · October 5, 2023 22:32

Keagan Lueck Zenox64

I like to code. I know HTML and CSS, currently learning JavaScript.

7 repositories 1 follower

drrosa created a repository drrosa/my-users-app · October 5, 2023 22:15

drrosa/my-users-app

Toy web app in Ruby to learn the MVC architecture with the Sinatra framework.

Updated Oct 5

drrosa created a repository drrosa/my-mastermind · October 5, 2023 22:04

drrosa/my-mastermind

CLI implementation of the Mastermind game in C.

Updated Oct 5

matias-eduardo starred komrad36/CRC · October 5, 2023 20:59

komrad36/CRC

Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches

C++ 187 Updated Apr 25, 2021

joshgelbard forked joshgelbard/clj-kondo from clj-kondo/clj-kondo · October 5, 2023 17:02

clj-kondo/clj-kondo

Static analyzer and linter for Clojure code that sparks joy

Clojure 1.6k Updated Oct 5

sandsalamand forked sandsalamand/godot-freecam-plugin from VojtaStruhar/godot-freecam-plugin · October 5, 2023 08:47

VojtaStruhar/godot-freecam-plugin

Godot plugin for a toggleable freecam with Minecraft-like controls.

GDScript 2 Updated Oct 5

DavidMendelovits created a repository DavidMendelovits/coding-test-state-management · October 4, 2023 21:58

DavidMendelovits/coding-test-state-management

Updated Oct 4

stephen-gardner starred imbushuo/mac-precision-touchpad · October 4, 2023 20:10

imbushuo/mac-precision-touchpad

Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad

C 7.8k Updated Mar 15, 2022

marrodri created a repository marrodri/github-workshop-test-copy · October 4, 2023 19:25

marrodri/github-workshop-test-copy

Updated Oct 4

austinwhite starred oobabooga/text-generation-webui · October 4, 2023 16:54

oobabooga/text-generation-webui

A Gradio web UI for Large Language Models. Supports transformers, GPTQ, llama.cpp (GGUF), Llama models.

Python 24.6k Updated Oct 4

DavidMendelovits starred AmbientRun/Ambient · October 4, 2023 15:45

AmbientRun/Ambient

The multiplayer game engine

Rust 3.4k Updated Oct 4

michaelbrave starred javsezlol1/Stylez · October 4, 2023 08:20

javsezlol1/Stylez

Python 25 Updated Oct 3

Obsaa started following talg · October 4, 2023 07:08

Tal Garfinkel talg

14 repositories 4 followers

Crybyte starred nocodb/nocodb · October 4, 2023 05:43

nocodb/nocodb

🔥 🔥 🔥 Open Source Airtable Alternative

TypeScript 38k Updated Oct 4

michaelbrave starred vector-man/IPS-Peek · October 4, 2023 05:43

vector-man/IPS-Peek

IPS Peek is an IPS patch (International Patching System) exploration and testing tool.

C# 44 1 issue needs help Updated Apr 20

rjhallsted made rjhallsted/barmark public · October 4, 2023 05:36

rjhallsted/barmark

A markdown parser, in C

C Updated Oct 4

ValeriiaMur starred raunofreiberg/interfaces · October 4, 2023 01:13

raunofreiberg/interfaces

A non-exhaustive list of details that make a good web interface.

JavaScript 1.2k Updated Sep 7

TieConscious starred lencx/nofwl · October 3, 2023 18:04

lencx/nofwl

NoFWL Desktop Application

Rust 3.5k Updated Sep 8

dylan-romansky starred gdraheim/docker-systemctl-replacement · October 3, 2023 17:37

gdraheim/docker-systemctl-replacement

docker systemctl replacement - allows to deploy to systemd-controlled containers without starting an actual systemd daemon (e.g. centos7, ubuntu16)

Python 1.2k 5 issues need help Updated Jul 28

ElliotFriedman created a repository ElliotFriedman/certora-tutorial · October 3, 2023 07:22

ElliotFriedman/certora-tutorial

Updated Oct 3

zedin27 starred JebScape/JebScape-Client · October 3, 2023 05:45

JebScape/JebScape-Client

A new modding platform for OSRS

Java 8 Updated Mar 26

nickisobrien forked nickisobrien/poshmark_sharing from jmausolf/poshmark_sharing · October 3, 2023 00:56

jmausolf/poshmark_sharing

Python 106 Updated Jun 21, 2022

ktjhan created a repository ktjhan/jobs-official · October 2, 2023 17:08

ktjhan/jobs-official

Updated Oct 2

qst0 starred hundredrabbits/Orca · October 2, 2023 01:43

hundredrabbits/Orca

Esoteric Programming Language

JavaScript 4.3k Updated Apr 20

qst0 starred hundredrabbits/Pilot · October 2, 2023 01:43

hundredrabbits/Pilot

Orca's best friend.

JavaScript 501 Updated Apr 7

michaelbrave starred zcanann/DolphinUnreal · October 2, 2023 00:51

zcanann/DolphinUnreal

Unreal Engine plugin to run/manage Dolphin instances via Blueprint scripts. Useful for TASing and glitch-hunting.

C++ 1 Updated Nov 20, 2022

michaelbrave starred nxrighthere/UnrealCLR · October 2, 2023 00:51

nxrighthere/UnrealCLR

Unreal Engine .NET 6 integration

C# 2.9k Updated Jun 7

michaelbrave starred VitorVilela7/wide-snes · October 1, 2023 23:26

VitorVilela7/wide-snes

Super Mario World (SNES) Widescreen Project

Assembly 1.5k Updated Jul 3

michaelbrave starred libretro/Genesis-Plus-GX-Wide · October 1, 2023 23:22

libretro/Genesis-Plus-GX-Wide

Widescreen modification of Genesis Plus GX

C 18 Updated Sep 16

michaelbrave starred heyjoeway/s2cx · October 1, 2023 23:16

heyjoeway/s2cx

Sonic 2 Community's Cut (meta repository)

39 Updated Jan 22, 2021

griffin-scott created a repository griffin-scott/leetcode · October 1, 2023 21:21

griffin-scott/leetcode

Repo to store solutions to LeetCode Problems

Updated Oct 1

michaelbrave starred CarstenZarbock/UnrealGB · October 1, 2023 19:46

CarstenZarbock/UnrealGB

Gameboy Emulator for use in the Unreal Engine 4

C++ 4 Updated May 24, 2020

michaelbrave starred N7Alpha/UnrealLibretro · October 1, 2023 19:31

N7Alpha/UnrealLibretro

A Libretro Frontend for Unreal Engine

C 19 Updated Sep 2

michaelbrave starred EverNewJoy/VictoryPlugin · October 1, 2023 19:20

EverNewJoy/VictoryPlugin

Rama's Victory BP Plugin

C++ 833 Updated Oct 3, 2022

michaelbrave starred tfernd/hyper-merge · October 1, 2023 14:10

tfernd/hyper-merge

Python 37 Updated Sep 11

marrodri created a repository marrodri/github-workshop · October 1, 2023 04:50

marrodri/github-workshop

Github workshop created for the PCC Internship

Updated Oct 1

michaelbrave starred LykosAI/StabilityMatrix · September 30, 2023 10:25

LykosAI/StabilityMatrix

Multi-Platform Package Manager for Stable Diffusion

C# 621 Updated Sep 22

tcheee starred microsoft/prompts-for-edu · September 30, 2023 09:28

microsoft/prompts-for-edu

628 Updated Sep 30

tcheee starred circlefin/perimeter-protocol · September 30, 2023 09:12

circlefin/perimeter-protocol

Official repository for the Perimeter Protocol

TypeScript 24 Updated Sep 29

akikalia starred codalasolutions/swift-di · September 29, 2023 22:37

codalasolutions/swift-di

Swift 1 Updated May 16

akikalia starred codalasolutions/swift-network · September 29, 2023 22:37

codalasolutions/swift-network

Swift 3 Updated Jul 7

brianbauer42 starred mckaywrigley/chatbot-ui · September 29, 2023 21:44

mckaywrigley/chatbot-ui

An open source ChatGPT UI.

TypeScript 17.7k Updated Sep 29

brianbauer42 starred deiucanta/chatpad · September 29, 2023 21:44

deiucanta/chatpad

Not just another ChatGPT user-interface!

TypeScript 952 Updated Sep 22

ktjhan created a repository ktjhan/doorClosed · September 29, 2023 18:51

ktjhan/doorClosed

Updated Sep 29

ktjhan created a repository ktjhan/doorOpen · September 29, 2023 18:20

ktjhan/doorOpen

Updated Sep 29

dashagurova created a repository dashagurova/dariagurova.github.io · September 29, 2023 15:01

dashagurova/dariagurova.github.io

Portfolio

Updated Sep 29

donald-stolz forked donald-stolz/5e-complete from Archer39/5e-complete · September 29, 2023 01:50

Archer39/5e-complete

The full D&D 5th Edition compendium for Foundry VTT.

7 Updated Nov 27, 2022

brianbauer42 starred sxyazi/yazi · September 29, 2023 00:10

sxyazi/yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Rust 2.5k 2 issues need help Updated Sep 29

tcheee starred sambecker/exif-photo-blog · September 28, 2023 10:16

sambecker/exif-photo-blog

Photo blog, reporting 🤓 EXIF camera details (aperture, shutter speed, ISO) for each image.

TypeScript 176 Updated Sep 28

michaelbrave starred adieyal/sd-dynamic-prompts · September 28, 2023 08:48

adieyal/sd-dynamic-prompts

A custom script for AUTOMATIC1111/stable-diffusion-webui to implement a tiny template language for random prompt generation

Python 1.5k Updated Sep 15

michaelbrave starred tencent-ailab/IP-Adapter · September 28, 2023 08:46

tencent-ailab/IP-Adapter

The image prompt adapter is designed to enable a pretrained text-to-image diffusion model to generate images with image prompt.

Jupyter Notebook 1.2k Updated Sep 28