-
repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean UpdatedJul 1, 2024 -
-
-
-
-
cs231n_assignments Public
My answer to assignmetns of CS231n of Stanford
-
-
-
-
-
thredis Public
Forked from grisha/thredisThredis is Threaded Redis. Thredis is a fork of Redis that allows for complex operations to be processed in parallel threads for better performance on multi-core systems. See thredis.org and README…
C BSD 3-Clause "New" or "Revised" License UpdatedMay 29, 2013
{{ message }}