Abstract thinking patterns and problem decomposition / solving strategies
☆64Jul 14, 2026Updated 3 months ago
Alternatives and similar repositories for abstract-thinking
Users that are interested in abstract-thinking are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 2 weeks ago
- Reviewing some online CS courses I took☆358Dec 7, 2025Updated 10 months ago
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆142Aug 17, 2026Updated 2 months ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Apr 7, 2026Updated 6 months ago
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆199Sep 2, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A little archive browser for legacy iOS apps☆21Oct 19, 2026Updated 2 weeks ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- open source vscode coding assistant in Scala.js☆16Dec 13, 2025Updated 10 months ago
- Collection of MIT owc Courses and some Information about them. Description, prerequisites, link and what they include☆57Oct 6, 2022Updated 4 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆30Jul 29, 2017Updated 9 years ago
- Solutions to the annual Advent calendar of programming puzzles☆12Apr 13, 2026Updated 6 months ago
- Explorations in Algebraic Graph Theory☆11Oct 14, 2015Updated 11 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- OCaml reading group at IIT Madras☆26Sep 20, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A recreation of the Windows 7 OOBE in C# using WinForms.☆18Jul 21, 2026Updated 3 months ago
- This repository is for students to go through the Learning Journey for CHISEL and Funcitonal Programming with SCALA also perform tasks re…☆16Sep 7, 2025Updated last year
- Transform your pdfs into anki flashcard with gpt☆12Jun 10, 2024Updated 2 years ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆24Dec 12, 2021Updated 4 years ago
- Simple way to spin up "programs", entirely driven by coding agents☆12Oct 13, 2026Updated 3 weeks ago
- Discover Object-Oriented Programming the way it was meant to be understood.☆41Oct 25, 2025Updated last year
- Additonal features for CodeMirror☆13Aug 20, 2024Updated 2 years ago
- ☆13Oct 18, 2023Updated 3 years ago
- GAPT: General Architecture for Proof Theory☆112Oct 23, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- wayland-info but intended for computers rather than humans.☆10Mar 2, 2026Updated 8 months ago
- Trời hôm ấy không có gì đặc biệt☆16Jul 29, 2017Updated 9 years ago
- 42 ft_printf: ft_printf is a project that involves recreating the functionality of the printf function from the standard C library. The p…☆13Jun 21, 2023Updated 3 years ago
- A better Table Tennis Rankings Algorithm than ITTF/WTT, using ELO Algorithm with special corrections. 基于ELO算法和修正模型得到的乒乓球世界排名，相对ITTF/WTT的排…☆15Oct 27, 2026Updated last week
- Linux daemon to bind touchpad gestures to shell commands.☆11Jun 25, 2024Updated 2 years ago
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- https://discord.gg/aredl☆17May 29, 2025Updated last year
- A handbook for mathematicians who want to get productive using GitHub☆13Jun 23, 2026Updated 4 months ago
- Link to page of PDF in Markdown, with Neovim and Zathura.☆13Nov 11, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Yuta is a fast, native fuzzy finder and command palette for Emacs, built to work with plain Emacs + external CLI tools.☆11May 5, 2026Updated 5 months ago
- org-babel support for generating various diagrams using diagrams backend☆12May 17, 2020Updated 6 years ago
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆22May 16, 2019Updated 7 years ago
- i18n library for Lean.☆14Oct 22, 2026Updated last week
- Ultimate way to browse YouTube.☆10Jun 26, 2026Updated 4 months ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆74Updated this week
- An interactive Kanban board built with HTML, CSS, and JavaScript. Supports importing and exporting tasks in Markdown format, with drag-an…☆11Mar 4, 2025Updated last year