This repo keeps track of my codes, answers and thinkings when exploring books.
☆31Mar 16, 2024Updated last year
Alternatives and similar repositories for thinking-dumps
Users that are interested in thinking-dumps are comparing it to the libraries listed below
Sorting:
- Lightweight RPC for JS based on Protocol Buffers☆13May 31, 2018Updated 7 years ago
- Resume in markdown☆44May 18, 2014Updated 11 years ago
- for printing QtableView & QtableWidget and export them to pdf☆10Dec 30, 2022Updated 3 years ago
- shadow-cljs hot code swapping for Node.js☆37Jun 22, 2020Updated 5 years ago
- Kubeflow on OCI☆10Jul 27, 2022Updated 3 years ago
- Durability for web streams powered by S2☆22Jan 2, 2026Updated 2 months ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Run spleeter as a pulseaudio plugin in realtime☆12Mar 24, 2023Updated 2 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- Lua parser and pretty-printer☆52May 5, 2016Updated 9 years ago
- Go server project template. Small set of functions and minimal dependencies. I wouldn't call it a framework. Just clone it and start your…☆11Oct 14, 2024Updated last year
- Simple terminal interface for chatgpt☆10Dec 6, 2022Updated 3 years ago
- ☆11Jul 1, 2025Updated 8 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Master Thesis: Image recognition by knowledge transfer using deep convolutional neural network☆10Dec 31, 2018Updated 7 years ago
- A Verilog Filelist parser in Rust☆11Mar 25, 2022Updated 3 years ago
- HTM Learning Algorithm Implementation for learning and generating musical sequences☆10Apr 14, 2015Updated 10 years ago
- A init replacement that feels like runit written in rust+tokio☆14Aug 29, 2025Updated 6 months ago
- Pry support within Emacs☆53Mar 7, 2013Updated 13 years ago
- An Android app for ClojureDocs☆14Jan 27, 2012Updated 14 years ago
- Hangman is a word game played between two people. One person selects a secret word, and the other tries to determine the word by guessing…☆14Apr 18, 2015Updated 10 years ago
- Introduction Note: This edition of the book is the same as The Rust Programming Language available in print and ebook format from No…☆14Oct 30, 2019Updated 6 years ago
- Play with CRIU in vagrant, all automated.☆10Oct 11, 2015Updated 10 years ago
- A RISC-V RV32 model ready for SMT program synthesis.☆12Jun 23, 2021Updated 4 years ago
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 5 years ago
- Ruby/yUML is a small DSL to generate UML diagrams with yuml.me☆29Apr 24, 2013Updated 12 years ago
- A light-weight version of rosdoc that does not rely on ROS infrastructure for crawling packages.☆10Apr 16, 2024Updated last year
- A PyTorch implementation of the paper https://arxiv.org/abs/1709.04875☆10Jul 22, 2020Updated 5 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- ☆12Jun 22, 2023Updated 2 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Mar 12, 2025Updated 11 months ago
- Pallet Crates☆28Aug 10, 2012Updated 13 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week