HACL*, a formally verified cryptographic library written in F*
☆31May 18, 2026Updated 2 months ago
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:
- The Linux perf GUI for performance analysis.☆32Mar 18, 2026Updated 4 months ago
- Mirror of https://git.ffmpeg.org/ffmpeg.git☆30Mar 18, 2026Updated 4 months ago
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆29Mar 19, 2026Updated 4 months ago
- A fast, compressed, persistent binary data store library for C.☆35May 18, 2026Updated 2 months ago
- A curated list of awesome resources for funding open source projects and authors.☆35Mar 18, 2026Updated 4 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.
- The Python programming language☆30Mar 18, 2026Updated 4 months ago
- an awesome list of decentralized services and technologies☆34Mar 16, 2026Updated 4 months ago
- A curated list of awesome platforms, tools, practices and resources that helps run LLMs locally☆35Mar 16, 2026Updated 4 months ago
- A curated list of awesome awesomeness☆34Mar 18, 2026Updated 4 months ago
- The official firmware for Meshtastic, an open-source, off-grid mesh communication system.☆36Updated this week
- TLS/SSL and crypto library☆33Mar 16, 2026Updated 4 months ago
- A curated list of modern Generative Artificial Intelligence projects and services☆34Updated this week
- Collection of links around paid/sustainable open source development☆39Jun 2, 2026Updated 2 months ago
- Heavily optimized library for DEFLATE/zlib/gzip compression and decompression☆35Mar 16, 2026Updated 4 months 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.
- Awesome list of open-source startup alternatives to well-known SaaS products 🚀☆34May 18, 2026Updated 2 months ago
- 🔥🔒 Awesome MCP (Model Context Protocol) Security 🖥️☆34Mar 16, 2026Updated 4 months ago
- The definitive list of lists (of lists) curated on GitHub and elsewhere☆30Mar 21, 2026Updated 4 months ago
- A comprehensive curated list of available Bug Bounty & Disclosure Programs and Write-ups.☆38Apr 5, 2026Updated 3 months ago
- The Next-gen Open Source learning platform for everyone ✨☆40Mar 18, 2026Updated 4 months ago
- Samples for CUDA Developers which demonstrates features in CUDA Toolkit☆31May 15, 2026Updated 2 months ago
- A collection of free software and free culture resources for making amazing games. (mirror)☆33Updated this week
- DOSBox Staging is a modern continuation of DOSBox with advanced features and current development practices.☆26May 18, 2026Updated 2 months ago
- openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.☆36Mar 11, 2026Updated 4 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.
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆38Updated this week
- Collection of Games that have the source code available on GitHub☆36May 18, 2026Updated 2 months ago
- Ghidra is a software reverse engineering (SRE) framework☆38Mar 24, 2026Updated 4 months ago
- A curated list of awesome Machine Learning frameworks, libraries and software.☆34May 18, 2026Updated 2 months ago
- A curated list of awesome decentralized finance projects☆39Jun 5, 2026Updated last month
- A curated list of awesome LLM agents frameworks.☆40May 18, 2026Updated 2 months ago
- A curated list of AI video generation tools - text-to-video, avatars, UGC ads, lip sync, and open source models.☆41Apr 28, 2026Updated 3 months ago
- CVPR 2026 GRAIL-V Workshop: Emotional Vocabulary as Semantic Grounding — How Language Register Affects Diffusion Efficiency in Image-to-V…☆41Jun 10, 2026Updated last month
- ☆34May 18, 2026Updated 2 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.
- ☆35Mar 13, 2026Updated 4 months ago
- A curated list of edge tools for AI applications☆33Mar 26, 2026Updated 4 months ago
- Awesome-LLM: a curated list of Large Language Model☆33May 18, 2026Updated 2 months ago
- Open source library for N64 development.☆33May 18, 2026Updated 2 months ago
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆33Apr 3, 2026Updated 4 months ago
- Collection of AI-related utilities. Welcome to submit pull requests /收藏AI相关的实用工具，欢迎提交pull requests☆36May 18, 2026Updated 2 months ago
- Météo-France's AI Python package☆41May 18, 2026Updated 2 months ago