cao-

cao-'s Stars

• topjohnwu/Magisk

  The Magic Mask for Android

  Language:C++49.2k1.5k5.9k12.6k

• RikkaApps/Shizuku

  Using system APIs directly with adb/root privileges from normal apps through a Java process started with app_process.

  Language:Kotlin11.5k214441661

• tiann/KernelSU

  A Kernel based root solution for Android

  Language:Kotlin10.6k1018351.7k

• clojure/clojure

  The Clojure programming language

  Language:Java10.5k68101.5k

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML9.1k1688741.1k

• cs-books/influential-cs-books

  Most influential books on Computer Science/programming

  5.7k17414502

• racket/racket

  The Racket repository

  Language:Racket4.8k1462.2k660

• sz3/libcimbar

  Optimized implementation for color-icon-matrix barcodes

  Language:C++4.3k3134309

• chenxiaolong/BCR

  A Basic Call Recorder for rooted Android devices

  Language:Kotlin1.8k30326116

• betaveros/noulith

  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

  Language:Rust1.1k91120

• webyrd/Barliman

  Prototype smart text editor

  Language:Scheme1.1k50830

• georgd/EB-Garamond

  Digitization of the Garamond shown on the Egenolff-Berner specimen

  Language:HTML9045314768

• sicmutils/sicmutils

  Computer Algebra, Physics and Differential Geometry in Clojure.

  Language:Clojure794308369

• thautwarm/MLStyle.jl

  Julia functional programming infrastructures and metaprogramming facilities

  Language:Julia4041013839

• jonathanpaulson/AdventOfCode

  My Advent of Code solutions. I also upload videos of my solves: https://www.youtube.com/channel/UCuWLIm0l4sDpEe28t41WITA

  Language:Python35228350

• webyrd/mediKanren

  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

  Language:Racket325304653

• ryansuchocki/microscheme

  A Scheme subset for Atmel microcontrollers.

  Language:C300182320

• themetaschemer/malt

  Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

  Language:Racket218123825

• betaveros/advent-of-code-2022

  actually publishing my solutions now that they're not redundant...

  Language:Shell210815

• webyrd/miniKanren-with-symbolic-constraints

  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

  Language:Scheme16013122

• schemedoc/bibliography

  Bibliography of Scheme research (readscheme.org and beyond)

  Language:Scheme150171720

• woheller69/Arity

  Scientific calculator with complex numbers and graphing of user-defined functions.

  Language:Java1265313

• MasonProtter/Symbolics.jl

  A symbolic math library written in Julia modelled off scmutils

  Language:Julia108141216

• namin/propagators

  the Art of the Propagator

  Language:Scheme50610

• webyrd/faster-miniKanren

  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

  Language:Scheme35607

• contextgarden/luametatex

  Temporary/draft repository with luametatex

  Language:C338148

• ukari/cl-generator

  generator in common lisp

  Language:Common Lisp8131

• vlasakm/mmtex

  A minimal modern (Lua)TeX distribution

  Language:C8151

• olsak/tex-nutshell

  TeX in a Nutshell -- A short document about TeX principles

  Language:TeX4342

• pkvil/optexprojects

  Various projects in OpTeX

  Language:TeX20