☆25May 14, 2026Updated 2 months ago
Alternatives and similar repositories for oqs-provider-with-kpqc
Users that are interested in oqs-provider-with-kpqc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆26Mar 18, 2026Updated 4 months ago
- all done☆26May 14, 2026Updated 2 months ago
- ☆29Updated this week
- ocpp protocol fuzzer☆29Jul 27, 2025Updated 11 months ago
- Haskell Security Bill of Materials☆30Nov 19, 2025Updated 8 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.
- ☆37Updated this week
- ☆32Mar 15, 2026Updated 4 months ago
- ☆35May 30, 2026Updated last month
- ☆34Apr 14, 2026Updated 3 months ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆42Jun 3, 2025Updated last year
- bidirectional type checking algorithms for higher-ranked polymorphism☆45Mar 23, 2022Updated 4 years ago
- EOPL in Haskell☆53Jun 18, 2026Updated last month
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- An intelligent research orchestration system that integrates large language models with scholarly data pipelines to enable contextual ret…☆20May 17, 2026Updated 2 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.
- This repository will hold ideas and resources to support community building efforts by Carpentries community members as part of the Commu…☆12May 22, 2025Updated last year
- LiveStore is a next-generation state management framework based on reactive SQLite and built-in sync engine.☆3,640Updated this week
- Emacs major mode for Dyalog APL☆17Feb 14, 2023Updated 3 years ago
- Application SDK for using Smart Account Modules☆51Sep 19, 2025Updated 10 months ago
- ☆34Feb 5, 2025Updated last year
- Sound Codecs☆16Sep 11, 2018Updated 7 years ago
- Slow Radar Target Detection in Heterogeneous Clutter using Thinned Space-Time Adaptive Processing☆21Nov 19, 2015Updated 10 years ago
- Quiz System with TALL (Tailwind + Alpinejs + Laravel + Livewire)☆10Dec 26, 2023Updated 2 years ago
- Advanced R 1-day course taught at the University of Cambridge☆11Jul 6, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A NES emulator written in TypeScript.☆18Jan 14, 2019Updated 7 years ago
- Repository for the Spline Tools Package☆25Apr 28, 2026Updated 2 months ago
- wazero: the zero dependency WebAssembly runtime for Go developers☆6,281Jul 14, 2026Updated last week
- A simple FORTH compiler created with M4 macros for Z80 assembler and ZX Spectrum.☆16Sep 11, 2023Updated 2 years ago
- A react native library for checking battery optimization and whitelisting in Android☆29Mar 18, 2024Updated 2 years ago
- nkm-cms内容管理系统服务端，测试账号：testAdmin/nkm-123456☆10Apr 24, 2022Updated 4 years ago
- Arca is a dependency injection container for the Godot Engine, inspired by Zenject.☆17Jun 15, 2026Updated last month
- scans popular packages and alerts in cases there is suspicion of an account takeover☆43Feb 20, 2022Updated 4 years ago
- PyTorch implementation of Asymmetric Siamese (https://arxiv.org/abs/2204.00613)☆98May 2, 2022Updated 4 years 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.
- basic web site serving framework☆154Feb 21, 2022Updated 4 years ago
- ☆17Jan 6, 2026Updated 6 months ago
- Makes it easier to add emojis using an improved keyword search☆22Jun 5, 2023Updated 3 years ago
- ☆15Jul 29, 2022Updated 3 years ago
- A translation framework for eliminating definitional equalities in Lean☆15Jun 17, 2026Updated last month
- A tool for checking the contract satisfaction for hardware designs☆12Jun 22, 2026Updated 3 weeks ago
- Window and GUI system based on Dear ImGui from OCornut☆915Feb 26, 2026Updated 4 months ago