HACL*, a formally verified cryptographic library written in F*
☆32May 18, 2026Updated 3 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.☆33Mar 18, 2026Updated 5 months ago
- Mirror of https://git.ffmpeg.org/ffmpeg.git☆30Mar 18, 2026Updated 5 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 5 months ago
- A fast, compressed, persistent binary data store library for C.☆36May 18, 2026Updated 3 months ago
- A curated list of awesome resources for funding open source projects and authors.☆36Mar 18, 2026Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The Python programming language☆30Mar 18, 2026Updated 5 months ago
- an awesome list of decentralized services and technologies☆35Mar 16, 2026Updated 5 months ago
- A curated list of awesome platforms, tools, practices and resources that helps run LLMs locally☆35Mar 16, 2026Updated 5 months ago
- A curated list of awesome awesomeness☆34Mar 18, 2026Updated 5 months ago
- The official firmware for Meshtastic, an open-source, off-grid mesh communication system.☆37Jul 29, 2026Updated 3 weeks ago
- TLS/SSL and crypto library☆34Mar 16, 2026Updated 5 months ago
- A curated list of modern Generative Artificial Intelligence projects and services☆35Jul 31, 2026Updated 3 weeks ago
- Collection of links around paid/sustainable open source development☆40Jun 2, 2026Updated 2 months ago
- Heavily optimized library for DEFLATE/zlib/gzip compression and decompression☆35Mar 16, 2026Updated 5 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.
- Awesome list of open-source startup alternatives to well-known SaaS products 🚀☆35May 18, 2026Updated 3 months ago
- 🔥🔒 Awesome MCP (Model Context Protocol) Security 🖥️☆34Mar 16, 2026Updated 5 months ago
- The definitive list of lists (of lists) curated on GitHub and elsewhere☆30Mar 21, 2026Updated 5 months ago
- A comprehensive curated list of available Bug Bounty & Disclosure Programs and Write-ups.☆39Apr 5, 2026Updated 4 months ago
- The Next-gen Open Source learning platform for everyone ✨☆41Mar 18, 2026Updated 5 months ago
- Samples for CUDA Developers which demonstrates features in CUDA Toolkit☆31May 15, 2026Updated 3 months ago
- A collection of free software and free culture resources for making amazing games. (mirror)☆33Jul 31, 2026Updated 3 weeks ago
- DOSBox Staging is a modern continuation of DOSBox with advanced features and current development practices.☆27May 18, 2026Updated 3 months ago
- openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.☆37Mar 11, 2026Updated 5 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.
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆39Jul 31, 2026Updated 3 weeks ago
- Collection of Games that have the source code available on GitHub☆37May 18, 2026Updated 3 months ago
- Ghidra is a software reverse engineering (SRE) framework☆39Mar 24, 2026Updated 5 months ago
- A curated list of awesome Machine Learning frameworks, libraries and software.☆34May 18, 2026Updated 3 months ago
- A curated list of awesome decentralized finance projects☆40Jun 5, 2026Updated 2 months ago
- A curated list of awesome LLM agents frameworks.☆41May 18, 2026Updated 3 months ago
- A curated list of AI video generation tools - text-to-video, avatars, UGC ads, lip sync, and open source models.☆42Apr 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…☆42Jun 10, 2026Updated 2 months ago
- ☆34May 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.
- ☆36Mar 13, 2026Updated 5 months ago
- A curated list of edge tools for AI applications☆33Mar 26, 2026Updated 5 months ago
- Awesome-LLM: a curated list of Large Language Model☆33May 18, 2026Updated 3 months ago
- Open source library for N64 development.☆34May 18, 2026Updated 3 months ago
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆34Apr 3, 2026Updated 4 months ago
- Collection of AI-related utilities. Welcome to submit pull requests /收藏AI相关的实用工具，欢迎提交pull requests☆37May 18, 2026Updated 3 months ago
- Météo-France's AI Python package☆42May 18, 2026Updated 3 months ago