HACL*, a formally verified cryptographic library written in F*
☆30May 18, 2026Updated last month
Alternatives and similar repositories for hacl-star
Users that are interested in hacl-star are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror of https://git.ffmpeg.org/ffmpeg.git☆29Mar 18, 2026Updated 3 months ago
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆28Mar 19, 2026Updated 3 months ago
- A curated list of awesome resources for funding open source projects and authors.☆34Mar 18, 2026Updated 3 months ago
- A fast, compressed, persistent binary data store library for C.☆34May 18, 2026Updated last month
- The Python programming language☆29Mar 18, 2026Updated 3 months ago
- 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.
- an awesome list of decentralized services and technologies☆33Mar 16, 2026Updated 3 months ago
- A curated list of awesome awesomeness☆33Mar 18, 2026Updated 3 months ago
- The official firmware for Meshtastic, an open-source, off-grid mesh communication system.☆35Updated this week
- TLS/SSL and crypto library☆32Mar 16, 2026Updated 3 months ago
- A curated list of modern Generative Artificial Intelligence projects and services☆33Mar 26, 2026Updated 3 months ago
- Awesome list of open-source startup alternatives to well-known SaaS products 🚀☆33May 18, 2026Updated last month
- Ghidra is a software reverse engineering (SRE) framework☆37Mar 24, 2026Updated 3 months ago
- The definitive list of lists (of lists) curated on GitHub and elsewhere☆29Mar 21, 2026Updated 3 months ago
- The Next-gen Open Source learning platform for everyone ✨☆39Mar 18, 2026Updated 3 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.
- Samples for CUDA Developers which demonstrates features in CUDA Toolkit☆30May 15, 2026Updated last month
- A collection of free software and free culture resources for making amazing games. (mirror)☆32Mar 26, 2026Updated 3 months ago
- A curated list of AI video generation tools - text-to-video, avatars, UGC ads, lip sync, and open source models.☆40Apr 28, 2026Updated 2 months ago
- A curated list of awesome Machine Learning frameworks, libraries and software.☆33May 18, 2026Updated last month
- Collection of Games that have the source code available on GitHub☆35May 18, 2026Updated last month
- A curated list of awesome LLM agents frameworks.☆39May 18, 2026Updated last month
- ☆33May 18, 2026Updated last month
- A curated list of edge tools for AI applications☆32Mar 26, 2026Updated 3 months ago
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆32Apr 3, 2026Updated 3 months 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.
- Open source library for N64 development.☆32May 18, 2026Updated last month
- Météo-France's AI Python package☆40May 18, 2026Updated last month
- ☆39May 18, 2026Updated last month
- A list of Game Development resources to make magic happen.☆30May 18, 2026Updated last month
- A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.☆32Mar 28, 2026Updated 3 months ago
- 🚀🪐🌕🌑☄️🛸 Opensource equivalent of Google's Antigravity☆39Mar 8, 2026Updated 4 months ago
- A curated collection of awesome JavaScript libraries, tools, runtimes, resources, and shiny things — across browser, Node.js, Deno, Bun, …☆28May 18, 2026Updated last month
- A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows☆41Mar 16, 2026Updated 3 months ago
- Claude Code Skills and 500+ agent skills from official dev teams and the community, compatible with Codex, Antigravity, Gemini CLI, Curso…☆42Mar 16, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆30Jul 5, 2026Updated last week
- A high-throughput and memory-efficient inference and serving engine for LLMs☆34Updated this week
- Mine RTC while playing retro games on Raspberry Pi. RetroAchievements integration, Proof of Play, Cartridge Relics, Saturday Morning Ques…☆36Jun 12, 2026Updated last month
- A curated list of Artificial Intelligence Top Tools☆41Apr 28, 2026Updated 2 months ago
- A VS Code extension that collapses long Tailwind CSS class strings to keep your templates clean and readable. Includes a Tailwind CSS pre…☆32May 20, 2026Updated last month
- A community-oriented list of useful NUMA-related libraries, tools, and other resources☆44Mar 6, 2026Updated 4 months ago
- The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1…☆33May 18, 2026Updated last month