-
rclone-sync Public
Provides proper continuous syncing capabilities using rclone bisync.
Shell GNU General Public License v3.0 UpdatedDec 21, 2025 -
-
-
cerberus Public
Forked from nus-apr/cerberusResearch Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
Python MIT License UpdatedOct 30, 2025 -
-
crossworlds-modmanager Public
A mod manager for Sonic Racing Crossworlds. Supports downloading, enabling/disabling and prioritizing mods.
Python GNU Affero General Public License v3.0 UpdatedOct 14, 2025 -
UnitTenX Public
Forked from cnunescoelho/UnitTenXUnit Test for legacy C code.
Python BSD 2-Clause "Simplified" License UpdatedAug 27, 2025 -
-
s30plus-mocor-rtos-research Public
Reverse engineering the playlist files for S30+ OS and syncing it.
Python GNU General Public License v3.0 UpdatedJun 28, 2025 -
perplexity-ai-sidebar-addon Public
Firefox Addon that adds Perplexity AI chat to the sidebar, it allows you to ask it questions about the page.
JavaScript GNU General Public License v3.0 UpdatedJun 19, 2025 -
trialist-python Public
Python library for running experiments. Supports logging, experimental loops with checkpoints.
Python GNU General Public License v3.0 UpdatedMay 8, 2025 -
esbmc Public
Forked from esbmc/esbmcFork of ESBMC with the aim of providing additional features to the Solidity module.
C Other UpdatedOct 30, 2024 -
ClassiCube Public
Forked from ClassiCube/ClassiCubeCustom Minecraft Classic / ClassiCube client written in C from scratch (formerly ClassicalSharp in C#)
C Other UpdatedJun 19, 2024 -
aicoderepair_esbmcai Public
Running ESBMC-AI trying to repair AI C Code (3rd exp)
Jupyter Notebook UpdatedMay 1, 2024 -
aicoderepair_llmtests Public
Single Iteration C Code APR Using LLM Experiments (2nd exp of paper)
C UpdatedApr 16, 2024 -
ipykernel-ctl Public
Easily deploy and manage IPyKernel for Python Environments.
Shell Mozilla Public License 2.0 UpdatedMar 24, 2024 -
plain_c_nn_benchmark Public
Forked from emanino/plain_c_nn_benchmarkAICodeRepair 1st exp
Jupyter Notebook MIT License UpdatedFeb 1, 2024 -
clangastpy Public
A high level abstraction to the ClangAST library for Python that enables source code analyzing and manipulation.
Mozilla Public License 2.0 UpdatedNov 10, 2023 -
markdown_editor Public
Flutter markdown editor widget library.
Dart GNU Affero General Public License v3.0 UpdatedApr 18, 2023 -
-
godot-dialogo Public
Dialog plugin for Godot with simplicity in mind. Very easy to pick up and use.
-
golang-logger Public
A simple logger for Golang
Go GNU General Public License v3.0 UpdatedMay 16, 2022 -
article-compiler Public archive
Compiles md articles into static html articles using an easy and efficient template system.
Shell GNU Affero General Public License v3.0 UpdatedJan 9, 2022 -
-
-
-
-
bc-pamp4 Public
Script for ScriptRunnerPro extension that displays a "Open As MP4" button to the playback player.
-
Python3Tutorials Public
A collection of Python3 scripts designed to help people learn Python3
Python GNU General Public License v3.0 UpdatedJan 15, 2021 -
{{ message }}