cirosantilli
Follow
-
-
codex-wiki Public
Codex-generated knowledge written in OurBigBook markup, created with a decent amount of human guidance. Focus on STEM and solving past exam questions to start with.
Python Creative Commons Zero v1.0 Universal UpdatedOct 6, 2026 -
-
cirosantilli.github.io-md Public
Automatically generated markdown rendering of https://github.com/cirosantilli/cirosantilli.github.io for fun and SEO. Canonical render at: https://cirosantilli.com
-
cirosantilli.github.io Public
Source for: https://cirosantilli.com and https://ourbigbook.com/cirosantilli Build HTML with https://github.com/ourbigbook/ourbigbook with "npm install && npx ourbigbook ." You can use this issue t…
-
cirosantilli Public template
小粉红小朋友们，新issue 在这儿开： https://github.com/cirosantilli/china-dictatorship/issues # 21世纪新政宣言（2020年4月5曰笫四次修改稿)（2020年6月19曰第七次修改，以下“【】”内文字为非正文内容的说明）20世纪苏联的消亡和东欧的大变革，使这21世纪初的现中国大陆成为世界关注的最主要焦点和影响新世纪文明发展的关键…
-
project-euler-solutions Public
Python solutions to ALL Project Euler problems, mostly using LLMs to generate the bulk of the solutions. Extension goal: formally proven Lean solutions to 1-100.
-
media Public
Random not too large media files I might copy paste somewhere.
-
project-euler-statements Public
Problem statements for Project Euler problems, downloaded and convert to Markdown format for your favorite LLM to consume :-)
-
cleanxy Public
Formally prove properties of Python code with the Lean proof assistant.
Lean UpdatedAug 4, 2026 -
parsec-benchmark Public
PARSEC Benchmark http://parsec.cs.princeton.edu 3.0-beta-20150206 ported to Ubuntu 25.10 and with proper version control and SPLASH2 ported to Buildroot 2017.08 cross compilation (ARM, MIPS, etc.).…
-
linux-kernel-module-cheat Public
The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and …
-
codex-continue Public
Expect-style wrapper that automatically sends a "Continue" message to Codex CLI after your usage limit resets.
-
react-piano Public
Forked from kevinsqi/react-pianoAn interactive piano keyboard for React
-
china-dictatorship Public template
反中共政治宣传库。Anti Chinese government propaganda. 住在中国真名用户的网友请别给星星，不然你要被警察请喝茶。常见问答集，新闻集和饭店和音乐建议。卐习万岁卐。冠状病毒审查郝海东新疆改造中心六四事件法轮功 996.ICU709大抓捕巴拿马文件邓家贵低端人口西藏骚乱。Friends who live in China and have real name on…
-
china-dictatroship-7 Public template
反中共政治宣传库。Anti Chinese government propaganda. https://github.com/cirosantilli/china-dictatorship 的备份backup. 住在中国真名用户的网友请别给星星，不然你要被警察请喝茶。常见问答集，新闻集和饭店和音乐建议。卐习万岁卐。冠状病毒审查郝海东新疆改造中心六四事件法轮功 996.ICU709大抓捕巴拿…
-
Project-Euler-Explained Public
Forked from igorvanloo/Project-Euler-ExplainedProject Euler Explained, codes used to solve Project Euler problems
-
algorithm-cheat Public
Algorithm tutorials and simple multi-language implementations with unit tests. Test case data in language agnostic file formats. Usually updated when I'm grinding for job interviews :-)
-
arc-agi-2-abstraction-dataset Public
Forked from cristianoc/arc-agi-2-abstraction-datasetCollection of ARC-AGI-2 solvers and abstractions produced by refinement
Python MIT License UpdatedDec 4, 2025 -
-
projecteuler-solutions Public
Forked from lucky-bai/projecteuler-solutionsNumerical answers to all Project Euler problems
-
markdown-style-guide Public
Readable and portable Markdown style guide: https://cirosantilli.com/markdown-style-guide
-
vcdvcd Public
Forked from zylin/Verilog_VCDPython Verilog value change dump (VCD) parser library + the nifty vcdcat VCD command line pretty printer.
-
ARC-AGI-solution Public
Forked from aviad12g/ARC-AGI-solution -
cia-2010-websites-dump Public
A dump of the CIA 2010 covert communication websites from the Wayback Machine https://ourbigbook.com/cirosantilli/cia-2010-covert-communication-websites
-
test-git-web-interface Public
Tests to find bugs on Git web interfaces like GitHub, GitLab, etc. <script>alert('xss')</script>
-
ldd3 Public
Forked from martinezjavier/ldd3Linux Device Drivers 3 examples updated to work in recent kernels
-
Git repository to test partial clones (--filter=blob:none/tree:0): https://stackoverflow.com/a/52269934/895245 Generated with ./generate.sh.
-
Same as https://github.com/cirosantilli/test-git-partial-clone-big-small but without big_tree
-
bitcoin-inscription-indexer Public
Attempt to index all inscriptions in the Bitcoin blockchain, including ASCII strings of length >= 20 and media like images. Includes inscription transaction IDs and has deterministic ordering. Prev…