Langflow is a powerful tool for building and deploying AI-powered agents and workflows.

The math library of Lean 4

💧 Liquid Tensor Experiment

Google Cloud Print Connector

An Android application for streaming music from YouTube Music.

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

Beckn protocol specification for the registry infrastructure

Core protocol specification for peer-to-peer consumer-provider interaction

Open Interoperable Specifications for Skilling and Education. An adaptation of Beckn Protocol.

Learn the language basics in this 10-part course.

The Julia Programming Language

Expanded Math Functionality for Unity

Enhanced eBooks in the browser.

Open-in Native Client

This repository hosts the Reference Guide for Quantum Computing, a Microsoft Garage project

Book Reader for Android

Group theory visualization software in the browser

A library for graph deep learning research

🎈 Simple reactive notebooks for Julia

Course 18.S191 at MIT, Fall 2022 - Introduction to computational thinking with Julia

A gui for the computer algebra system Maxima built with wxWidgets

Single-pass DjVu encoder based on DjVu Libre, minidjvu and ImageMagick

The HOL Light theorem prover

Lean 4 programming language and theorem prover

Lean Theorem Prover

Adobe Spectrum Design System Package (DSP)

DSP Documentation

Animation engine for explanatory math videos

Code To Accompany YouTube Series Imaginary Numbers Are Real