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
- Lightweight RPC for JS based on Protocol Buffers☆13May 31, 2018Updated 8 years ago
- Crypto for Haskell☆37Jun 24, 2021Updated 5 years ago
- https://youtu.be/40cvevHg0J8☆12Jul 19, 2020Updated 6 years ago
- Code to accompany the course Understanding Re-frame on PurelyFunctional.tv https://purelyfunctional.tv/courses/understanding-re-frame/☆14Aug 26, 2022Updated 4 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.
- Lua parser and pretty-printer☆53May 5, 2016Updated 10 years ago
- Java implementation of Hindley Milner type inference algorithm for lambda calculus.☆11May 6, 2019Updated 7 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- ☆14Oct 30, 2015Updated 10 years ago
- ☆13Jun 21, 2014Updated 12 years ago
- A light-weight version of rosdoc that does not rely on ROS infrastructure for crawling packages.☆10Apr 16, 2024Updated 2 years ago
- 龙芯桌面环境 Loongson Desktop Environment☆25Oct 6, 2016Updated 9 years ago
- Multihreaded 64 bit c++ files for processing numba arrays☆19Apr 23, 2024Updated 2 years ago
- 提供界面非常友好的百度账号BDUSS获取器[C# .Net 4.0]☆21Oct 31, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An Android UI framework for chatting APPs.☆17May 10, 2016Updated 10 years ago
- Blazing-fast query execution engine speaks Apache Spark language and has Arrow-DataFusion at its core.☆11Apr 23, 2022Updated 4 years ago
- HTM Learning Algorithm Implementation for learning and generating musical sequences☆10Apr 14, 2015Updated 11 years ago
- ☆60Feb 27, 2018Updated 8 years ago
- A monadic stream library in Clojure (port of Haskell's enumerator).☆18Mar 17, 2012Updated 14 years ago
- A Verilog parser for Haskell.☆37Jul 6, 2021Updated 5 years ago
- IBM Developers Work related articles code, this repository contains a collection of Java SE code examples from java SE 8/9-14 and next, a…☆20Nov 17, 2019Updated 6 years ago
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21May 27, 2020Updated 6 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 9 years ago
- 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.
- Send APNs push notifications using the new HTTP/2 protocol from Clojure☆27Jun 27, 2019Updated 7 years ago
- 2048 game clone using Yampa FRP library☆29Jul 25, 2018Updated 8 years ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Feb 2, 2022Updated 4 years ago
- This program is developed for Tsukuba Challenge☆15Dec 13, 2014Updated 11 years ago
- A deterministic implementation of some of the OpenSSL functionalities☆21Jun 25, 2020Updated 6 years ago
- Code from my blog at myclojureadventure.com☆18Apr 4, 2012Updated 14 years ago
- A ROS nodelet to reproject image as if viewing from different viewpoint☆12Oct 4, 2021Updated 4 years ago
- for printing QtableView & QtableWidget and export them to pdf☆10Dec 30, 2022Updated 3 years ago
- roscpp meets c++14 now!!☆12Aug 29, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ROS package to enable communication with Slack☆12Jun 18, 2016Updated 10 years ago
- Haskell pattern match analsyis checker☆15Mar 26, 2015Updated 11 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
- An interface between Clojure and Mathematica☆10Mar 17, 2015Updated 11 years ago
- ☆20Dec 19, 2025Updated 8 months ago
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Oct 28, 2024Updated last year