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.
Sorting:
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Crypto for Haskell☆37Jun 24, 2021Updated 4 years ago
- shadow-cljs hot code swapping for Node.js☆37Jun 22, 2020Updated 5 years ago
- ☆18Mar 14, 2016Updated 10 years ago
- A Common Lisp feature to list disks with command line tool df(Linux/Mac) or GetLogicalDrives(Windows), and get disk space information usi…☆13Dec 10, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- A cpu simulator written in pure standard lib python☆18Nov 28, 2025Updated 4 months ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- ☆14Oct 30, 2015Updated 10 years ago
- The unofficial Ello API☆17Oct 5, 2014Updated 11 years ago
- HTM Learning Algorithm Implementation for learning and generating musical sequences☆10Apr 14, 2015Updated 10 years ago
- ☆19Jun 6, 2014Updated 11 years ago
- 一 个C++实现的简单操作系统☆17Jul 26, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A Reveal.js plugin that allows live CSS editing in code blocks.☆13May 18, 2018Updated 7 years ago
- An Android UI framework for chatting APPs.☆17May 10, 2016Updated 9 years ago
- Send APNs push notifications using the new HTTP/2 protocol from Clojure☆27Jun 27, 2019Updated 6 years ago
- A light-weight version of rosdoc that does not rely on ROS infrastructure for crawling packages.☆10Apr 16, 2024Updated last year
- ☆60Feb 27, 2018Updated 8 years ago
- Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .☆13Feb 2, 2017Updated 9 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Apr 17, 2017Updated 8 years ago
- a customizable and extensible language with dynamic parser and meta compilation.☆65Nov 27, 2015Updated 10 years ago
- 中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)☆20Nov 25, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A ROS nodelet to reproject image as if viewing from different viewpoint☆12Oct 4, 2021Updated 4 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 8 years ago
- Durability for web streams powered by S2☆21Jan 2, 2026Updated 2 months ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Feb 2, 2022Updated 4 years ago
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Mar 13, 2019Updated 7 years ago
- New version -> https://github.com/ryuichiueda/bashcms2☆31Jul 9, 2014Updated 11 years ago
- roscpp meets c++14 now!!☆12Aug 29, 2015Updated 10 years ago
- ROS package suite for robots at Hakuto, a Google XPRIZE contender☆12Apr 27, 2016Updated 9 years ago
- Google Common Lisp Style Guide in Chinese☆13Apr 4, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Send metrics from your C++ applications to your Datadog account☆11Dec 3, 2020Updated 5 years ago
- Ruby wrapper for the Internet Game Database API.☆18Apr 28, 2018Updated 7 years ago
- ☆18Jul 7, 2020Updated 5 years ago
- 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
- ROS driver for RS-LiDAR-16 and RS-LiDAR-32☆11Mar 25, 2019Updated 7 years ago
- cs171 website☆22Mar 5, 2026Updated 3 weeks ago
- :+1: voting badge like Travis CI☆27Jan 22, 2021Updated 5 years ago