Jupyter kernel for Coq
MLOps simplified. From ML Pipeline ⇨ Data Product without the hassle
borb is a library for reading, creating and manipulating PDF files
General purpose algebraic metaprogramming
JSON implementation for Ruby
The leading WebAssembly Runtime supporting WASIX, WASI and Emscripten
RDP monster-in-the-middle (mitm) and library for Python
A tool for semi-automatic cell type classification, harmonization
Build Python LLM apps in minutes
OpenAI swift async text to image for SwiftUI app using OpenAI
Functional GraphQL library for Scala
Graphene SQLAlchemy integration
Build a GraphQL service in seconds
Access thousands of icons as components on-demand universally
A simple shared budget manager web application
Python scripts for ETL (extract, transform and load) jobs for Ethereum
Webpack plugin that runs typescript type checker on a separate process
Linq to database provider
A modern, high customizable, responsive Jekyll theme for documention
Reusable, generic mixins for Django
Open source online judge based on Vue, Django and Docker
A general-purpose probabilistic programming system
Slick (Scala Language Integrated Connection Kit) is a modern database
Collection of handy tools for Go projects
AWS library to sign AWS HTTP requests with Signature Version 4