HACL*, a formally verified cryptographic library written in F*
☆33May 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.☆34Mar 18, 2026Updated 5 months ago
- Mirror of https://git.ffmpeg.org/ffmpeg.git☆32Mar 18, 2026Updated 5 months ago
- The Python programming language☆32Mar 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…☆31Mar 19, 2026Updated 5 months ago
- A curated list of awesome resources for funding open source projects and authors.☆37Mar 18, 2026Updated 5 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.
- an awesome list of decentralized services and technologies☆36Mar 16, 2026Updated 5 months ago
- A fast, compressed, persistent binary data store library for C.☆37May 18, 2026Updated 3 months ago
- A curated list of awesome platforms, tools, practices and resources that helps run LLMs locally☆36Sep 6, 2026Updated last week
- The definitive list of lists (of lists) curated on GitHub and elsewhere☆31Mar 21, 2026Updated 5 months ago
- TLS/SSL and crypto library☆35Mar 16, 2026Updated 5 months ago
- A curated list of modern Generative Artificial Intelligence projects and services☆36Updated this week
- Heavily optimized library for DEFLATE/zlib/gzip compression and decompression☆36Mar 16, 2026Updated 5 months ago
- A curated list of awesome awesomeness☆35Mar 18, 2026Updated 5 months ago
- The official firmware for Meshtastic, an open-source, off-grid mesh communication system.☆39Jul 29, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A collection of free software and free culture resources for making amazing games. (mirror)☆34Jul 31, 2026Updated last month
- Collection of links around paid/sustainable open source development☆41Jun 2, 2026Updated 3 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆40Jul 31, 2026Updated last month
- Awesome list of open-source startup alternatives to well-known SaaS products 🚀☆36May 18, 2026Updated 3 months ago
- 🔥🔒 Awesome MCP (Model Context Protocol) Security 🖥️☆34Mar 16, 2026Updated 5 months ago
- The Next-gen Open Source learning platform for everyone ✨☆42Mar 18, 2026Updated 5 months ago
- Ghidra is a software reverse engineering (SRE) framework☆40Mar 24, 2026Updated 5 months ago
- A comprehensive curated list of available Bug Bounty & Disclosure Programs and Write-ups.☆40Apr 5, 2026Updated 5 months ago
- DOSBox Staging is a modern continuation of DOSBox with advanced features and current development practices.☆28May 18, 2026Updated 3 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.
- openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.☆38Mar 11, 2026Updated 6 months ago
- Samples for CUDA Developers which demonstrates features in CUDA Toolkit☆32May 15, 2026Updated 4 months ago
- Météo-France's AI Python package☆43May 18, 2026Updated 3 months ago
- A curated list of awesome Machine Learning frameworks, libraries and software.☆35May 18, 2026Updated 3 months ago
- A curated list of awesome decentralized finance projects☆40Jun 5, 2026Updated 3 months ago
- A curated list of awesome LLM agents frameworks.☆41May 18, 2026Updated 3 months ago
- CVPR 2026 GRAIL-V Workshop: Emotional Vocabulary as Semantic Grounding — How Language Register Affects Diffusion Efficiency in Image-to-V…☆43Jun 10, 2026Updated 3 months ago
- ☆35May 18, 2026Updated 3 months ago
- A list of Game Development resources to make magic happen.☆32May 18, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Collection of Games that have the source code available on GitHub☆38May 18, 2026Updated 3 months ago
- An Ergo-Appkit based library providing an abstraction layer to easily interact with AVL Trees as an L2 Solution☆36Jul 31, 2026Updated last month
- A curated list of AI video generation tools - text-to-video, avatars, UGC ads, lip sync, and open source models.☆43Apr 28, 2026Updated 4 months ago
- Open source library for N64 development.☆35May 18, 2026Updated 3 months ago
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆35Apr 3, 2026Updated 5 months ago
- ☆38Mar 13, 2026Updated 6 months ago
- A curated list of edge tools for AI applications☆34Mar 26, 2026Updated 5 months ago