shouya/thinking-dumps external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

shouya/thinking-dumps

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/shouya/thinking-dumps)

Close

shouya / thinking-dumpsView on GitHubMore

• External links
• Readme badge

This repo keeps track of my codes, answers and thinkings when exploring books.

☆31Mar 16, 2024Updated 2 years ago

Alternatives and similar repositories for thinking-dumps

Users that are interested in thinking-dumps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• tca / PANL

  View on GitHub
  ☆10Mar 14, 2016Updated 10 years ago
• steinuil / negoto-old-and-busted

  View on GitHub
  Barely functional imageboard
  ☆11Jun 12, 2016Updated 10 years ago
• GrindhouseWetware / bottlenose

  View on GitHub
  Bottlenose Source Code
  ☆11May 25, 2017Updated 9 years ago
• uwplse / arvo

  View on GitHub
  A proof assistant.
  ☆12Feb 19, 2016Updated 10 years ago
• ZHaskell / z-botan

  View on GitHub
  Crypto for Haskell
  ☆37Jun 24, 2021Updated 5 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• snape / Loopless-Functional-Algorithms

  View on GitHub
  Loopless Functional Algorithms (Haskell)
  ☆16Dec 30, 2023Updated 2 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 10 years ago
• punchagan / howdy

  View on GitHub
  An Emacs utility to help you keep in touch with people
  ☆11Feb 13, 2025Updated last year
• netpyoung / pt.c-interop-in-clojure

  View on GitHub
  https://youtu.be/40cvevHg0J8
  ☆12Jul 19, 2020Updated 6 years ago
• webyrd / hindley-milner-type-inferencer

  View on GitHub
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆24Feb 17, 2015Updated 11 years ago
• marc40000 / WebRPG

  View on GitHub
  WebRPG is a free multiplayer role playing game. It runs on every common browser out there. You can walk around, kill monsters, find items…
  ☆12Mar 2, 2012Updated 14 years ago
• juancarlospaco / nim-bytes2human

  View on GitHub
  Calculate all Byte units from integer bytes positive int64 with precision from Bytes to Yottabytes and return a human friendly string rep…
  ☆13Feb 11, 2021Updated 5 years ago
• RAX-Anomaly / Anomaly-Mod-Configuration-Menu

  View on GitHub
  Inspired by MCM mod for the Bethesda games this provides similar functionality for Anomaly
  ☆27Aug 31, 2025Updated 11 months ago
• limeburst / cadet

  View on GitHub
  Keyboard controller written in Ivory
  ☆10Mar 3, 2017Updated 9 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• xuzhuoyi / LDE

  View on GitHub
  龙芯桌面环境 Loongson Desktop Environment
  ☆25Oct 6, 2016Updated 9 years ago
• rtosholdings / riptide_cpp

  View on GitHub
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆19Apr 23, 2024Updated 2 years ago
• DavidWatkins / Dice

  View on GitHub
  Java, but worse
  ☆11Sep 23, 2017Updated 8 years ago
• kenvix / Baidu-BDUSS-Tool

  View on GitHub
  提供界面非常友好的百度账号BDUSS获取器[C# .Net 4.0]
  ☆21Oct 31, 2015Updated 10 years ago
• sunnycase / TomatoOS

  View on GitHub
  一个C++实现的简单操作系统
  ☆17Jul 26, 2015Updated 11 years ago
• MarisaKirisame / first_order_logic_prover

  View on GitHub
  ☆60Feb 27, 2018Updated 8 years ago
• ethanp / Notes

  View on GitHub
  various collected notes, some copy/pasted from elsewhere, but mostly original
  ☆11Jun 28, 2016Updated 10 years ago
• overlogged / steak

  View on GitHub
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆31Mar 13, 2019Updated 7 years ago
• tomahawkins / verilog

  View on GitHub
  A Verilog parser for Haskell.
  ☆37Jul 6, 2021Updated 5 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• FrankHB / CppTemplateTutorial

  View on GitHub
  中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)
  ☆20Nov 25, 2015Updated 10 years ago
• kkocdko / hinapi

  View on GitHub
  Node.js native addons without node-gyp!
  ☆25May 6, 2023Updated 3 years ago
• atlex / ffmpeg-python

  View on GitHub
  Python scripts to work with FFmpeg.
  ☆14Dec 2, 2021Updated 4 years ago
• winterland1989 / binary-parsers

  View on GitHub
  Extends binary with parsec/attoparsec style parsing combinators
  ☆26Feb 2, 2022Updated 4 years ago
• infinit / dopenssl

  View on GitHub
  A deterministic implementation of some of the OpenSSL functionalities
  ☆21Jun 25, 2020Updated 6 years ago
• alehander92 / comprehension

  View on GitHub
  ☆18Jul 7, 2020Updated 6 years ago
• haojie-chan / Water-Quality-Monitoring-System

  View on GitHub
  ☆14Nov 29, 2022Updated 3 years ago
• mrxiaohe / RobustStats.jl

  View on GitHub
  A collection of robust statistical tests in Julia
  ☆19Mar 17, 2017Updated 9 years ago
• samsonjs / gitter

  View on GitHub
  GitHub client for node and browsers (v3 API)
  ☆19Jun 13, 2012Updated 14 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• Schnouki / caddyfile-mode

  View on GitHub
  A Emacs major mode for editing Caddy configuration files.
  ☆21Jun 26, 2022Updated 4 years ago
• codeOfRobin / openCViOS

  View on GitHub
  ☆10Apr 7, 2015Updated 11 years ago
• thewei / react-native-grid

  View on GitHub
  **[DEPRECATED]** The 24-column grid component for react-native
  ☆16Oct 7, 2015Updated 10 years ago
• loaden / qtcreator

  View on GitHub
  Clone for QtCreator (https://www.qt-project.org)
  ☆17May 14, 2022Updated 4 years ago
• SpreadBand / django-backcap

  View on GitHub
  Help center for community-driven websites
  ☆19Jul 24, 2013Updated 13 years ago
• smart-robotics-team / slack-ros-pkg

  View on GitHub
  ROS package to enable communication with Slack
  ☆12Jun 18, 2016Updated 10 years ago