cao-

cao-'s Stars

• namin/propagators

  the Art of the Propagator

  Language:Scheme50

• sz3/libcimbar

  Optimized implementation for color-icon-matrix barcodes

  Language:C++4k291

• RikkaApps/Shizuku

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

  Language:Kotlin10.7k627

• chenxiaolong/BCR

  A Basic Call Recorder for rooted Android devices

  Language:Kotlin1.7k111

• contextgarden/luametatex

  Temporary/draft repository with luametatex

  Language:C328

• vlasakm/mmtex

  A minimal modern (Lua)TeX distribution

  Language:C81

• tiann/KernelSU

  A Kernel based root solution for Android

  Language:Kotlin10.1k1.6k

• cs-books/influential-cs-books

  Most influential books on Computer Science/programming

  5.6k498

• georgd/EB-Garamond

  Digitization of the Garamond shown on the Egenolff-Berner specimen

  Language:HTML88668

• olsak/tex-nutshell

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

  Language:TeX42

• ryansuchocki/microscheme

  A Scheme subset for Atmel microcontrollers.

  Language:C30020

• woheller69/Arity

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

  Language:Java1223

• schemedoc/bibliography

  Bibliography of Scheme research (readscheme.org and beyond)

  Language:Scheme14920

• themetaschemer/malt

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

  Language:Racket21325

• MasonProtter/Symbolics.jl

  A symbolic math library written in Julia modelled off scmutils

  Language:Julia10715

• sicmutils/sicmutils

  Computer Algebra, Physics and Differential Geometry in Clojure.

  Language:Clojure78668

• racket/racket

  The Racket repository

  Language:Racket4.8k659

• ukari/cl-generator

  generator in common lisp

  Language:Common Lisp81

• jonathanpaulson/AdventOfCode

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

  Language:Python33249

• pkvil/optexprojects

  Various projects in OpTeX

  Language:TeX2

• betaveros/noulith

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

  Language:Rust1.1k20

• betaveros/advent-of-code-2022

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

  Language:Shell2095

• thautwarm/MLStyle.jl

  Julia functional programming infrastructures and metaprogramming facilities

  Language:Julia40338

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML8.9k1k

• topjohnwu/Magisk

  The Magic Mask for Android

  Language:C++48k12.2k

• webyrd/Barliman

  Prototype smart text editor

  Language:Scheme1k30

• webyrd/mediKanren

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

  Language:Racket32453

• webyrd/faster-miniKanren

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

  Language:Scheme357

• webyrd/miniKanren-with-symbolic-constraints

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

  Language:Scheme15922

• clojure/clojure

  The Clojure programming language

  Language:Java10.5k1.5k