MIRROR: Discrete Gaussians over the Integers
☆21Jun 29, 2018Updated 8 years ago
Alternatives and similar repositories for dgs
Users that are interested in dgs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated last month
- Code of Round5☆12May 4, 2020Updated 6 years ago
- Implementation of the LLL algorithm in C. Also provides a cython wrapper for the C function so that it may be used in python.☆12Apr 26, 2013Updated 13 years ago
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Nov 27, 2024Updated last year
- ☆12Nov 4, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆22Oct 18, 2022Updated 3 years ago
- BLISS: Bimodal Lattice Signature Schemes☆31Jul 10, 2020Updated 5 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆29Feb 27, 2024Updated 2 years ago
- qTESLA Library, an optimized implementation of the post-quantum lattice-based digital signature scheme qTESLA.☆26Aug 31, 2022Updated 3 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Dec 15, 2012Updated 13 years ago
- MPC team of Security Group in HITSZ☆19Apr 19, 2026Updated 2 months ago
- Image watermark with Convolutional Neural Networks☆18Apr 9, 2020Updated 6 years ago
- Parallel Stable Sort☆15Oct 11, 2015Updated 10 years ago
- ☆14Dec 8, 2021Updated 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.
- as stated in the title☆14Jun 21, 2026Updated last week
- Separation Logic Proofs in Lean☆52Jan 28, 2026Updated 5 months ago
- ☆12Dec 7, 2019Updated 6 years ago
- script to download the TETRA ACELP codec from ETSI and compile/install it☆12Jan 4, 2026Updated 6 months ago
- A Python3 Implementation of LLL☆36Apr 29, 2021Updated 5 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- C library for evaluating expressions with the abstract syntax tree.☆15Aug 3, 2020Updated 5 years ago
- Experimentation code for ETSO GMR-1 satellite telephony networks; mirror of https://gitea.osmocom.org/satellite/osmo-gmr☆18Oct 21, 2022Updated 3 years ago
- lattice-based digital signature scheme qTESLA☆31Nov 9, 2019Updated 6 years 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.
- Fast transforms over finite fields☆13Jul 17, 2021Updated 4 years ago
- Implementation of the parallel Pollard's rho method for solving the Elliptic Curve Discrete Logarithm Problem (ECDLP).☆11Mar 14, 2015Updated 11 years ago
- Fast, lightweight, C++ Unicode conversion utilities.☆17Dec 7, 2016Updated 9 years ago
- Free ACELP vocoder☆16Sep 20, 2024Updated last year
- 8PSK/QPSK Modem to send Images/Data via a 2,7kHz SSB channel in high speed☆24Apr 27, 2021Updated 5 years ago
- gradient boosting decision tree☆11Jul 11, 2018Updated 7 years ago
- ☆13May 18, 2016Updated 10 years ago
- A reference implementation of the SAC (Simple Audio Compression) codec.☆18Aug 31, 2023Updated 2 years ago
- ☆22Apr 2, 2023Updated 3 years 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.
- g722 encoder and decoder☆21May 17, 2010Updated 16 years ago
- 项目名称：基于Python的疫情实时监控系统。项目基于Python语言、Python的Flask框架和Echarts来做的，涉及的技术有Python网络爬虫；Python与MySQL数据库的交互；Flask框架构建Web项目；Echarts数据可视化显示；Linux部署we…☆32Apr 27, 2020Updated 6 years ago
- PolarCodes inplemented in C++☆13Apr 19, 2022Updated 4 years ago
- ☆20Nov 17, 2015Updated 10 years ago
- ☆19Mar 23, 2018Updated 8 years ago
- SIMD-LDPC based on 5G New Radio supporting SSE, AVX2 and AVX512.☆17Mar 30, 2019Updated 7 years ago
- Automated Cryptographic Transformations☆27Aug 23, 2021Updated 4 years ago