Euler Yet another proof Engine
Modern scheduling library for Python
Easily generate thousands of 3D models, images, and animation NFTs
Software Unit Tests (Language Independent Approach)
Easily build, backtest and deploy your algo in just a few lines
A GitHub Action to deploy Notebooks, Markdowns
Symbolic execution tool
StreamAlert is a serverless, realtime data analysis framework
Auto-diff neural network library for high-dimensional sparse tensors
Python bindings for the Chromium Embedded Framework (CEF)
ZED OS the clone of Windows XP
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, etc.)
Zipline, a Pythonic algorithmic trading library
Use Notion as your blogging editor, with any static gen blog engine
A natural language modeling framework based on PyTorch
Gaining advanced insights from Git repository history
Reverse engineering framework in Python
Pyside QtRPT
Omniglot data set for one-shot learning
Test project with a 2D platform game developing in Godot 3.1
The professional, open source development tool for the open web
Middleware for distributed applications