Euler Yet another proof Engine
The regex-centric, fast lexical analyzer generator for C++
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