Offline version of Project Euler.
☆117Jun 22, 2017Updated 8 years ago
Alternatives and similar repositories for PocketEuler
Users that are interested in PocketEuler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Binary data (de)serializer, highly inspired by Tsoding's multiplayer prototype☆15Aug 15, 2024Updated last year
- A tool that posts a link to a Telegram chat when Tsoding uploads☆17Jan 16, 2025Updated last year
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆79Jun 14, 2024Updated last year
- Enhanced Tsoding's Emacs Theme for VSCode.☆40Sep 4, 2025Updated 8 months ago
- Structured Human-Readable Binary Format☆63Mar 15, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A ToDo app made in pure HTML and CSS without using JS☆34Apr 10, 2025Updated last year
- Simple Experiment with Subframe rendering☆44May 29, 2024Updated 2 years ago
- Codes related to Idris☆16Sep 4, 2015Updated 10 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Get/show dad jokes in Emacs☆10Sep 28, 2017Updated 8 years ago
- Emacs major mode for the Jai programming language☆21Jan 20, 2026Updated 4 months ago
- TCP-only pastebin-like service with Proof-of-Work☆59Oct 11, 2025Updated 7 months ago
- Type search engine for jai inspired by Tsoding's Coogle☆19Mar 18, 2025Updated last year
- Editor plugins for C3☆64Apr 24, 2026Updated last month
- 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.
- Interface for Surf under exwm☆11May 26, 2018Updated 8 years ago
- MCP3424 library for the Arduino☆12Dec 20, 2019Updated 6 years ago
- Curses bindings package for Idris☆13Jan 4, 2019Updated 7 years ago
- INI file format parser for odin.☆25Feb 12, 2024Updated 2 years ago
- A highly customizable polar clock written in HTML5☆14Jul 17, 2018Updated 7 years ago
- JIT Compiler for Brainfuck☆182Apr 4, 2024Updated 2 years ago
- Toolset for reproducing Quine Clock in C☆24Jun 18, 2024Updated last year
- Mirror of Chuck Moore’s Forth book☆12Apr 4, 2015Updated 11 years ago
- Turing Language☆223Jul 29, 2024Updated last year
- 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.
- Seam Carving implementation☆55Apr 19, 2024Updated 2 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 8 years ago
- A flappy bird clone written in elm.☆14Jul 12, 2019Updated 6 years ago
- Smarter underscore for Emacs Speaks Statistics☆13Mar 9, 2019Updated 7 years ago
- 4orth is a Porth compiler with WASM, WASI and WASM-4 targets☆23Mar 21, 2023Updated 3 years ago
- Ada bindings for the Raylib library☆21May 11, 2026Updated 2 weeks ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- The Elm architecture ported to Idris Programming language☆14Feb 27, 2019Updated 7 years ago
- The very first version of the original vi (version 1.1 released on January 1, 1978 on 1BSD)☆13Jun 19, 2020Updated 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.
- ☆15Jan 30, 2020Updated 6 years ago
- Simple command-line dns changer☆10Mar 8, 2024Updated 2 years ago
- Collection of Idris snippets☆25Dec 23, 2025Updated 5 months ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A simple platformer game inspired by jump king☆16Oct 4, 2024Updated last year
- The website for C3☆120May 23, 2026Updated last week
- A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.☆21Jul 26, 2025Updated 10 months ago