Stars
Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Limbo is a project to build the modern evolution of SQLite.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
A fanmade blue archive game heavily inspired by 'Tom Clancy's The Division'.
Binary Neural Network Framework for FPGA(Differentiable LUT)
Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
AivisSpeech: AI Voice Imitation System - Text to Speech Software
The easiest library for creating GUIs in Python
Seamless operability between C++11 and Python
An open source implementation of Microsoft's VALL-E X zero-shot TTS model. Demo is available in https://plachtaa.github.io/vallex/
AnimateDiff for AUTOMATIC1111 Stable Diffusion WebUI
Scan your Rust crate for semver violations.
mrhan1993 / FooocusAPI
Forked from lllyasviel/FooocusFooocus with fastapi
Common Expression Language -- specification and binary representation
Software I2C implementation for Arduino and other Wiring-type environments
Bringing the power of SageMath to VS Code with this extension that offers specialized syntax highlighting, quick run capabilities, and additional coding tools.
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
A HTTP server that helps Grafana read RRD files via Grafana Simple JSON Datasource plugin
A C++ type to trace calls to special member functions.
VectorCamp / vectorscan
Forked from intel/hyperscanA portable fork of the high-performance regular expression matching library