Source code for a video on computing Fibonacci numbers efficiently
☆158Aug 27, 2026Updated 2 months ago
Alternatives and similar repositories for Fibsonicci
Users that are interested in Fibsonicci are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Computing Fibonacci numbers efficiently, for real this time.☆113Aug 27, 2026Updated 2 months ago
- On a hunt for the Jewels of the Queen of Mathematics... in LLVM IR☆92Aug 27, 2026Updated 2 months ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆21Mar 10, 2024Updated 2 years ago
- A base library for Agda for regular programming☆10Mar 24, 2026Updated 7 months ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆24Aug 14, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- A library for hierarchy graph layout based on sugiyama framework☆12Apr 1, 2026Updated 7 months ago
- Simple Math Proof Tool for Simple Math Expressions☆40Jul 10, 2025Updated last year
- An 555 circuit entirely made out of THT transistors☆16Jan 22, 2026Updated 9 months ago
- Java implementation of common algorithms taught at ETH☆15Dec 4, 2024Updated last year
- ☆11Jul 8, 2018Updated 8 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- ☆29Sep 12, 2025Updated last year
- summaries and cheatsheets from my studies at ETH Zürich☆14Aug 10, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- odiff compatible pixel-by-pixel image visual difference tool in pure AVX512☆24Aug 1, 2026Updated 3 months ago
- ☆12Jan 2, 2023Updated 3 years ago
- C++ is the based interpreted language☆333Aug 27, 2026Updated 2 months ago
- RealWorld in Lean 4☆13Oct 14, 2026Updated 3 weeks ago
- A Chip's Challenge/Tile World TASing emulator☆13Jun 23, 2024Updated 2 years ago
- ☆54Updated this week
- A tool for exporting/importing bch file.☆13Mar 2, 2019Updated 7 years ago
- Reinforcement learning with 2D games / Apprentissage par renforcement avec des jeux 2D☆16May 16, 2025Updated last year
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 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.
- Elaboration of cumulative universe hierarchies☆13Oct 26, 2026Updated last week
- Run lean4 directly in your browser ( https://lean.cau.li )☆24Updated this week
- Browser extension to enable vim mode in the embedded IDE used in Code Expert.☆15Oct 14, 2025Updated last year
- The current fork of Tile World 2, including Qt6 support, and other game patches☆14Mar 17, 2026Updated 7 months ago
- HVM2 (2024): a massively parallel, optimal functional runtime in Rust☆45Sep 16, 2026Updated last month
- ☆19Oct 9, 2024Updated 2 years ago
- Animation of Yves Lafont's Interaction Combinators☆26Jan 30, 2022Updated 4 years ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated 2 years ago
- A game where you try to complete a captcha.☆14Nov 30, 2024Updated 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.
- ☆17Jan 30, 2025Updated last year
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- Learning materials for Taskflow programming☆13Feb 9, 2026Updated 8 months ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Synthesize Verilog to Minecraft redstone☆24Nov 9, 2024Updated last year
- This software utility extracts chat logs into a human readable text format from Skype export archives. You can request a machine-readable…☆10Jan 15, 2026Updated 9 months ago