This repo keeps track of my codes, answers and thinkings when exploring books.
☆24Apr 21, 2021Updated 4 years ago
Alternatives and similar repositories for Thinking-dumps
Users that are interested in Thinking-dumps are comparing it to the libraries listed below
Sorting:
- Parser in Java for Lisp S-expressions.☆12Nov 24, 2025Updated 3 months ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 13 years ago
- ☆24Jun 2, 2015Updated 10 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Logical relations proof in Agda☆27May 27, 2015Updated 10 years ago
- ☆36Jan 8, 2026Updated last month
- Structured logging solution.☆38Oct 22, 2025Updated 4 months ago
- 🍞 | IDE focused programming language study☆39Mar 4, 2024Updated 2 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- W-Reader 是一款专为 JetBrains 系列 IDE（如 IntelliJ IDEA、PyCharm、WebStorm、RustRover 等）打造的轻量级小说阅读插件。它将阅读体验无缝融入开发环境，在不离开编码上下文的前提下，让你轻松享受小说阅读的乐趣。☆17Updated this week
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Oct 26, 2016Updated 9 years ago
- ☆11Jul 2, 2024Updated last year
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Blender to Renderman Exporter☆15Sep 18, 2011Updated 14 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE☆14Jan 9, 2013Updated 13 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- A repository with some information I may need to refer later about the Plutus lectures☆12Jul 19, 2021Updated 4 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- A small and simple R5RS Scheme Implementation☆12Feb 14, 2026Updated 2 weeks ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆14Nov 5, 2011Updated 14 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Jun 27, 2012Updated 13 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- Sammyjs.org☆19Jul 27, 2015Updated 10 years ago
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 5 years ago
- The Unframework☆24Jan 26, 2012Updated 14 years ago
- ☆12Nov 20, 2025Updated 3 months ago
- ☆12May 9, 2015Updated 10 years ago
- the web site for RubyKaigi.☆44Oct 29, 2011Updated 14 years ago
- Port of Basho's webmachine in scala, A REST-based system for building web applications☆34Dec 20, 2009Updated 16 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago