Stars
🦭 Video/Audio Downloader for Android, based on yt-dlp, designed with Material You
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
Collaborative Collection of C++ Best Practices. This online resource is part of Jason Turner's collection of C++ Best Practices resources. See README.md for more information.
Image loading for Android and Compose Multiplatform.
The Mechanization of Standard ML
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
This project is to contain a listing of common theorems in elementary category theory.
An introductory course to Homotopy Type Theory
mrkcsc / Compressor
Forked from zetbaitsu/CompressorAn android image compression library.
Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
A basic library of algorithms and data structures (a la NJlib)
The React Native website and docs
Notes on how to use the internal language of toposes in algebraic geometry
Native Video editing/trimming/compressing 🎥 library for React-Native
Twilio Video (WebRTC) for React Native
flyskywhy / react-native-gcanvas
Forked from alibaba/GCanvasreact native canvas based on gpu opengl glsl GCanvas -- A lightweight cross-platform graphics rendering engine. (超轻量的跨平台图形引擎)
📸 A powerful, high-performance React Native Camera library.
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
Java API for android acoustic echo cancellation.Update from BillHoo.
The platform independent header allowing to compile any C/C++ code containing ARM NEON intrinsic functions for x86 target systems using SIMD up to AVX2 intrinsic functions