A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

This the public version of the moving-mesh AREPO code for large-scale structure and galaxy formation simulations.

🦭 Video/Audio Downloader for Android, based on yt-dlp

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.

https://openjdk.org/projects/code-tools/jmh

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

papers of Per Martin Löf

An android image compression library.

The Delphin Project

agda-mode on VS Code

Programming Languages Zoo

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

Guidelines Support Library

😎TT

amateur translation project of Grothendieck's EGA.

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

react 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.