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:
- ☆10Mar 14, 2016Updated 10 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- A lightweight personal wiki in Racket☆19May 19, 2017Updated 9 years ago
- Terrible window manager, written in terrible C and with terrible bugs and segfaults☆10May 7, 2016Updated 10 years ago
- Lightweight RPC for JS based on Protocol Buffers☆13May 31, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Crypto for Haskell☆37Jun 24, 2021Updated 5 years ago
- Libraries for Ypsilon Scheme☆27Jun 10, 2010Updated 16 years ago
- ☆18Mar 14, 2016Updated 10 years ago
- Simple demonstration of Evolution of Neural Networks using Genetic Algorithms☆14Oct 9, 2011Updated 14 years ago
- https://youtu.be/40cvevHg0J8☆12Jul 19, 2020Updated 6 years ago
- WebRPG is a free multiplayer role playing game. It runs on every common browser out there. You can walk around, kill monsters, find items…☆12Mar 2, 2012Updated 14 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
- 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.
- 龙芯桌面环境 Loongson Desktop Environment☆25Oct 6, 2016Updated 10 years ago
- Java collaborative (real-time) browser IDE☆19Mar 12, 2012Updated 14 years ago
- An Android UI framework for chatting APPs.☆17May 10, 2016Updated 10 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
- Octree implementation in Go☆12Jan 16, 2015Updated 11 years ago
- TypeDraft is a superset of typescript with built-in support for DSL extension and literate programming☆55Mar 4, 2023Updated 3 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
- 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.
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 9 years ago
- Wraps Adobe Reader for Beamer presentations☆12Aug 12, 2015Updated 11 years ago
- Send APNs push notifications using the new HTTP/2 protocol from Clojure☆27Jun 27, 2019Updated 7 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
- Code from my blog at myclojureadventure.com☆18Apr 4, 2012Updated 14 years ago
- Chinese and English essay translator, paper translator, clipboard listener☆26Oct 22, 2019Updated 6 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 12 years ago
- Ongoing formal verification for Asterinas OSTD☆54Updated this week
- 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.
- 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 OCaml/Mirage-friendly implementation of the 9P protocol☆67Aug 24, 2025Updated last year
- An interface between Clojure and Mathematica☆10Mar 17, 2015Updated 11 years ago
- ☆20Dec 19, 2025Updated 9 months ago
- Arkts grammar for tree-sitter☆23Oct 27, 2025Updated 11 months ago
- Intel Concurrent Collections for Haskell. Library and parallel runtime(s). Now on github rather than darcs.☆17Aug 12, 2011Updated 15 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago