This repo keeps track of my codes, answers and thinkings when exploring books.
☆24Apr 21, 2021Updated 5 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:
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 11 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- A Scheme implementation in Python☆19Feb 3, 2024Updated 2 years ago
- ☆10Sep 27, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CN MonaD.ReadeR Reading Group☆107Mar 3, 2016Updated 10 years ago
- Analysing Reddit user data.☆13May 5, 2014Updated 12 years ago
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- This repository powers the Teaching Machines website☆14Jul 17, 2022Updated 4 years ago
- Brainfuck formalized in Coq☆32Mar 29, 2022Updated 4 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 years ago
- This is a version of my Conway's Game of Life in JavaScript. Try it here:☆21Dec 17, 2019Updated 6 years ago
- Lua scripts for interacting with TVTropes☆13Apr 29, 2011Updated 15 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Apr 25, 2025Updated last year
- Videogames in Critical Contexts (HNRS 353) Syllabus for George Mason University☆12Jun 1, 2012Updated 14 years ago
- Creating a buzzword detector: A Git-powered Clojure tutorial (Gitorial)☆16Mar 2, 2009Updated 17 years ago
- Geometric Semantic Genetic Programming☆15Oct 6, 2014Updated 12 years ago
- ☆12Jun 25, 2013Updated 13 years ago
- Causal inference in non-linear dynamics systems☆16Jun 20, 2017Updated 9 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- A PHP/Laravel package for coupon and discount☆12May 7, 2024Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Relative Monad Library for Agda☆24May 29, 2019Updated 7 years ago
- Haskell 98 comonads☆80Jan 10, 2026Updated 9 months ago
- Source code for 'Pro Functional PHP Programming' by Rob Aley☆11Sep 14, 2017Updated 9 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆10Jan 13, 2018Updated 8 years ago
- Cytoscape 3 API bundles.☆27Sep 21, 2026Updated last month
- This is a LaTeX template for ones dissertation at the University of Missouri. The initial template is taken from http://pagsa.missouri.ed…☆13Aug 18, 2011Updated 15 years ago
- 1 Haskell A Day exercises☆118Apr 21, 2014Updated 12 years ago
- A Toki Pona Parser☆41Jul 31, 2025Updated last year
- 针对重庆理工大学的同学，当检测到自己的成绩变化之后，发送短信或者Email进行通知，基于Python实现。☆15Jul 9, 2019Updated 7 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.
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆35Apr 22, 2026Updated 6 months ago
- This repo keeps track of my codes, answers and thinkings when exploring books.☆31Mar 16, 2024Updated 2 years ago
- Structured logging solution.☆38Updated this week
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 15 years ago
- VM injector to evaluate placement algorithms by simulation.☆10Jun 25, 2020Updated 6 years ago
- Node.js binaries for Alpine Linux on x86_64, armhf and aarch64.☆18Jun 2, 2022Updated 4 years ago
- This project was carried out as part of the recruitment processs for a major AI company. The task was to implement a model for CG and PZ …☆15Jan 7, 2018Updated 8 years ago