🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Intelligent Trading Bot: Automatically generating signals and trading based on machine learning and feature engineering

Implement AI Trading Strategies with Backtrader

A Quantitative Pre-Trading Research tool for stocks, Crypto, Govt Bonds and ETFs hosted on AWS EC2 - Migration to JS ongoing

text and image to video generation: CogVideoX (2024) and CogVideo (ICLR 2023)

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

Local realtime voice AI

The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.

[AAAI 2025🔥] Official implementation of Cycle3D: High-quality and Consistent Image-to-3D Generation via Generation-Reconstruction Cycle

Improving XGBoost survival analysis with embeddings and debiased estimators

Deep survival analysis made easy

Auton Survival - an open source package for Regression, Counterfactual Estimation, Evaluation and Phenotyping with Censored Time-to-Events

DeepSurv is a deep learning approach to survival analysis.

Godot Engine – Multi-platform 2D and 3D game engine

Sequence modeling benchmarks and temporal convolutional networks

The Graphics library from OCaml, in a standalone repository

Malfunctional Programming

Counterexamples in Type Systems

A dataset of 222 digital musical scores aligned with 1068 performances (more than 92 hours) of Western classical piano music.

Darklang main repo, including language, backend, and infra

A benchmark for the next generation of data-driven global weather models.

source code of zkSync Contract

Simple example Erlang REST API

Official Zend Framework 2.0 git repository

my ror project

Official Zend Framework repository