☆20May 9, 2022Updated 4 years ago
Alternatives and similar repositories for wizard-book-study
Users that are interested in wizard-book-study are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- A geometrical compiler project written in JavaScript for compiling and making complicated geometries.☆15Aug 28, 2024Updated 2 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 3 weeks ago
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆16Apr 19, 2022Updated 4 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- Scheme (R6RS subset) interpreter written in OCaml☆17Jun 30, 2020Updated 6 years ago
- an alternative approach to pattern matching☆13Jul 18, 2022Updated 4 years ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆14Aug 31, 2018Updated 8 years ago
- Summary of working through the exercises of the Little Schemer☆12Feb 7, 2020Updated 6 years ago
- ☆74Dec 30, 2014Updated 11 years ago
- A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment☆10May 23, 2018Updated 8 years ago
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆14May 28, 2026Updated 5 months 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.
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 years ago
- Google Keep API with Ruby on Rails☆12Nov 3, 2021Updated 5 years ago
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 2025Updated last year
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Oct 24, 2009Updated 17 years ago
- Just my awesome notes☆13Oct 8, 2024Updated 2 years ago
- Learn State Machines Course Starter Files☆17Jul 12, 2023Updated 3 years ago
- An X11 magnifier application written in C inspired by tsoding's Boomer☆15Mar 20, 2026Updated 7 months ago
- TinyC compiler (lexer + parser + IR + optimization + x86-64 assembly generation)☆20Aug 9, 2020Updated 6 years ago
- ☆15Jun 10, 2021Updated 5 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.
- Playing with DSLs in Haskell☆22Feb 13, 2017Updated 9 years ago
- Design patterns with real-life examples and PlantUML diagrams [2021]☆13Jan 8, 2026Updated 9 months ago
- A Compiler from "Mx* language" (A C++ & Java like language) to RV32I Assembly, with optimizations on LLVM IR. SJTU CS2966 Project.☆13Feb 12, 2023Updated 3 years ago
- ☆15Apr 5, 2017Updated 9 years ago
- NUDT SysY Compiler for CSC-2024☆14Aug 21, 2025Updated last year
- The Unofficial Incomplete Spidermonkey Bibliography☆19Oct 31, 2026Updated last week
- Swift port of "Elements of Programming"☆19Jul 7, 2023Updated 3 years ago
- Example React app with state management using XState☆18Mar 5, 2020Updated 6 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 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.
- Self-curated curriculum for learning Computer Science.☆12Sep 19, 2026Updated last month
- Classical Logic in Haskell☆23Nov 19, 2025Updated 11 months ago
- A small toy imperative language (with some OOP features) for demonstrating and practicing language design/implementation.☆14Jan 8, 2023Updated 3 years ago
- Node.js ile aktivite akış örneği☆12Mar 23, 2016Updated 10 years ago
- A walk-through of Real World Haskell 10th Chapter☆17Oct 26, 2015Updated 11 years ago
- ☆12Jun 1, 2016Updated 10 years ago
- Working through Type-Driven Development with Idris☆27Sep 7, 2016Updated 10 years ago