Quite optimized Agda prime numbers generator
☆17Aug 3, 2025Updated 11 months ago
Alternatives and similar repositories for prime-generator
Users that are interested in prime-generator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple landing page☆15Jun 12, 2025Updated last year
- Some important snippets over the basic VS snippets for comfortable development☆15Aug 18, 2025Updated 11 months ago
- Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.☆15Aug 2, 2025Updated 11 months ago
- ☆15Jun 8, 2025Updated last year
- Multisize Nonogram Solver☆15May 24, 2025Updated 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.
- Global documentation☆19Jun 10, 2025Updated last year
- 🕷️ Soothing pastel theme for Xdbg☆15Aug 20, 2025Updated 11 months ago
- Advanced MASM Interpreter☆18Jun 12, 2025Updated last year
- ☆15Aug 18, 2025Updated 11 months ago
- Local github actions container☆16Jun 14, 2025Updated last year
- Solutions for well-known practice dojo problems. Mostly in Haskell because I like challenges!☆18Dec 4, 2025Updated 7 months ago
- Nix Packages collection & NixOS☆15Aug 13, 2025Updated 11 months ago
- Toy django3 project, just for learning purpose☆21Oct 19, 2025Updated 9 months ago
- A new markup-based typesetting system that is powerful and easy to learn.☆16Aug 2, 2025Updated 11 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.
- 🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and cycles the easiest way on…☆15Aug 2, 2025Updated 11 months ago
- This repository contains a delphi-program that reading .idx(Java app cache) and extracting URLs into the file.☆15Jul 30, 2025Updated 11 months ago
- Dark mode button☆16May 25, 2025Updated last year
- This project demonstrates the core building blocks of blockchain technology via Merkle trees☆19Aug 13, 2025Updated 11 months ago
- Dracula theme for leetcode.com☆17Aug 10, 2025Updated 11 months ago
- Cute HTTP-like logger for Express framework that displaying async responses and requests.☆15Aug 2, 2025Updated 11 months ago
- 🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.☆18Jul 28, 2025Updated 11 months ago
- Build cross-platform desktop apps with JavaScript, HTML, and CSS☆16Aug 13, 2025Updated 11 months ago
- Mirror from GItlab. LMS System project from BMSTU DevOps course.☆17Sep 23, 2025Updated 9 months ago
- 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.
- Just a boilerplate to skip the usual project setup☆17Jun 13, 2025Updated last year
- Tensors and Dynamic neural networks in Python with strong GPU acceleration☆27Aug 2, 2025Updated 11 months ago
- ☆21Feb 26, 2026Updated 4 months ago
- Toy package that provides a master-slave infrastructure interactions☆16Aug 13, 2025Updated 11 months ago
- Handy recursive image compressor and metadata remover☆21Sep 22, 2025Updated 9 months ago
- Production-Grade Container Scheduling and Management☆17Sep 30, 2025Updated 9 months ago
- A small guide to fast typing practice. You are definitely destined for success. From 40 WPM and up to 200+ WPM☆24Feb 19, 2026Updated 5 months ago
- Obfuscated ASCII-art that looks like anime characters and does some useful jobs(mostly CLI tools)☆20Sep 6, 2025Updated 10 months ago
- Notes, scripts, and research on blockchain & internet ops☆15Jul 3, 2026Updated 2 weeks 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.
- A clean web studio for testing prompts against OpenAI-compatible model APIs.☆15Jul 3, 2026Updated 2 weeks ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆15Aug 31, 2025Updated 10 months ago
- Go implementation of the Ethereum protocol☆15Sep 3, 2025Updated 10 months ago
- Optimism is Ethereum, scaled.☆15Sep 4, 2025Updated 10 months ago
- ☆15May 18, 2025Updated last year
- ☆15Aug 30, 2025Updated 10 months ago
- Everything required to run your own Base node☆15Aug 26, 2025Updated 10 months ago