the fibonacci only you would give me
☆16Jul 10, 2025Updated 10 months ago
Alternatives and similar repositories for fib
Users that are interested in fib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- Yet another minimal React template☆18Aug 9, 2021Updated 4 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆21Sep 20, 2025Updated 8 months ago
- ☆20Jun 1, 2024Updated last year
- 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.
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Jul 20, 2019Updated 6 years ago
- IO should be just a library☆26Jul 17, 2023Updated 2 years ago
- ☆19Jun 9, 2023Updated 2 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 2 months ago
- A simple platformer game in Common Lisp. Please see PlatformerTutorial instead.☆11Mar 21, 2024Updated 2 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- KEDA External Scaler for Azure Cosmos DB☆11May 19, 2026Updated last week
- D4: Fast Concurrency Debugging with Parallel Differential Analysis☆18Feb 18, 2020Updated 6 years ago
- An example of how to create a .NET GraphQL server on Azure Functions that talks to CosmosDB☆10Dec 10, 2020Updated 5 years ago
- AzureAIOBalancer is a Terraform repository for automating the deployment of a load-balanced Azure OpenAI environment across multiple regi…☆10Nov 3, 2023Updated 2 years ago
- CosmosDB 1 day hackathon☆14May 31, 2023Updated 2 years ago
- ☆14Feb 2, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- IoT example based on MQTT protocol☆11Jun 3, 2015Updated 10 years ago
- Lander Analytics Bayes/Stan Class 2021☆10Aug 3, 2021Updated 4 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Oct 28, 2023Updated 2 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆33Mar 29, 2026Updated last month
- An integration of KùzuDB and RDFlib.☆18Nov 15, 2024Updated last year
- An example comparison of various serverless providers using a simple GraphQL server☆20Jul 24, 2020Updated 5 years ago
- ☆13Jan 15, 2026Updated 4 months ago
- A Language a Day☆14Nov 1, 2025Updated 6 months ago
- Semantic Ranking Solution for Azure Database for PostgreSQL☆15Apr 29, 2025Updated last year
- 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.
- The Modern Web App Pattern is a set of objectives to help you apply an iterative change to modernize a cloud deployed monolith. This cont…☆18Oct 28, 2025Updated 6 months ago
- Copy Neo4j data to Azure Cosmos DB☆13Nov 25, 2021Updated 4 years ago
- Code samples for "A Student's Guide to Python for Physical Modeling"☆18Jul 19, 2021Updated 4 years ago
- ☆14Oct 9, 2022Updated 3 years ago
- An implementation of Vector Clock in Java☆11Jun 27, 2025Updated 10 months ago
- Awesome Agda Programming☆19Sep 22, 2025Updated 8 months ago
- Building and evaluating a ranking model using the MSLR-WEB10K dataset☆14Feb 17, 2021Updated 5 years ago