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:
- 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
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 11 years ago
- A Verilog parser for Haskell.☆36Jul 6, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code from my blog at myclojureadventure.com☆18Apr 4, 2012Updated 14 years ago
- Some personal TeX packages☆12Feb 29, 2020Updated 6 years ago
- An Emacs utility to help you keep in touch with people☆11Feb 13, 2025Updated last year
- A very basic clojurescript wrapper for IndexedDB☆23Apr 21, 2016Updated 9 years ago
- A monadic stream library in Clojure (port of Haskell's enumerator).☆18Mar 17, 2012Updated 14 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- ☆13Oct 6, 2015Updated 10 years ago
- Multihreaded 64 bit c++ files for processing numba arrays☆18Apr 23, 2024Updated last year
- ☆19Jul 24, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- HTM Learning Algorithm Implementation for learning and generating musical sequences☆10Apr 14, 2015Updated 11 years ago
- 👨🏻🎓 Playground for learning programming languages☆27Mar 30, 2025Updated last year
- ☆10Oct 28, 2015Updated 10 years ago
- Atom plugin to set gdb breakpoints in .gdbinit file and run an external debugger as QtCreator or ddd☆10Feb 28, 2017Updated 9 years ago
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 13 years ago
- Send APNs push notifications using the new HTTP/2 protocol from Clojure☆27Jun 27, 2019Updated 6 years ago
- CLI for scrape-it. A Node.js scraper for humans.☆17Feb 14, 2025Updated last year
- Create your npm package with ESNext, Flowtype and prettier.☆24Oct 24, 2019Updated 6 years ago
- A light-weight version of rosdoc that does not rely on ROS infrastructure for crawling packages.☆10Apr 16, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆60Feb 27, 2018Updated 8 years ago
- List of FOSS Clubs in Indian Universities☆14Jul 6, 2019Updated 6 years ago
- TypeDraft is a superset of typescript with built-in support for DSL extension and literate programming☆55Mar 4, 2023Updated 3 years ago
- 中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作 为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)☆20Nov 25, 2015Updated 10 years ago
- Node.js native addons without node-gyp!☆25May 6, 2023Updated 2 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
- A deterministic implementation of some of the OpenSSL functionalities☆21Jun 25, 2020Updated 5 years ago
- IRC bot to Telegram: a bot that allows using Telegram from IRC☆12Oct 17, 2020Updated 5 years ago
- ROS package suite for robots at Hakuto, a Google XPRIZE contender☆12Apr 27, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Contains packages related to modeling different tracked vehicles used by Team Hector☆16Feb 27, 2025Updated last year
- Google Common Lisp Style Guide in Chinese☆13Apr 4, 2019Updated 7 years ago
- Minimal binary serialization library with focus on performance☆25Jul 16, 2025Updated 9 months 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
- A multi-path proxy.☆15Jul 9, 2019Updated 6 years ago
- An unfinished simple-C language compiler☆24Mar 12, 2015Updated 11 years ago
- Replicate Crux data into DataScript (via one-way syncing of filtered txes w/ simple full refresh if connection drops - SSE/sente demo is …☆12Feb 19, 2020Updated 6 years ago