90.2K repos
Browse every curated open-source repository in the directory. Narrow the list with taxonomy filters, sort by stars or recency, or hand the search to AI.
This Python repository contains script files (which are continuously updated with best practices), to process the Enhanced TRACE data. The core folders are listed below. The remaining folders will (eventually) be cleaned up. Please visit https://openbondassetpricing.com/ for the latest version…
The Simplified Line-Input Crystal-Encoding System (SLICES) is the first invertible and invariant crystal representation tool. This software supports encoding and decoding crystal structures, reconstructing them, and generating new materials with desired properties using generative deep learning.
Simple image editor for Xamarin Forms based on the SkiaSharp library and SkiaSharpForms-Demos
GUI tool for creative coding projects Inspired from dat.GUI. Check out the demo.
CLove-Unit is a single-header unit testing library designed for C (compatible with C++).
A web-based demonstration of blockchain concepts.
Non-Standard Python Libraries:
This project provides both static and dynamic bindings to the raylib a simple and easy-to-use library to enjoy videogames programming.
QSL is a simple, open-source media labeling tool that you can use as a Jupyter widget. More information available at https://qsl.robinbay.com. It supports:
nRF Beacon for Eddystone is an application that supports the new Eddystone GATT configuration service allowing users to configure your beacon to advertise all types of Eddystone frame types from UID, URL, TLM and the newest EID and eTLM frame types. In addition the application uses Nearby API…
[arXiv](https://arxiv.org/abs/2507.08649) | [Codes](https://github.com/Leanabell-LM/Leanabell-Prover-V2) | [🤗 Huggingface] Xingguang Ji, Yahui Liu, Qi Wang$^{\heartsuit}$, Jingyuan Zhang, Yang Yue, Rui Shi, Chenxi Sun, Fuzheng Zhang, Guorui Zhou, Kun Gai
This is the official implementation of TimeCapsule presented in the paper "TimeCapsule: Solving the Jigsaw Puzzle of Long-Term Time Series Forecasting with Compressed Predictive Representations" .