The codebase that computed the Ninth Dedekind Number
☆13Jan 18, 2026Updated 9 months ago
Alternatives and similar repositories for Dedekind
Users that are interested in Dedekind are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ready-to-link, packaged Aurora IP on four QSFP28 lanes, providing 100Gb/s throughput, flow control and status monitoring☆20Sep 28, 2026Updated last month
- An OpenFlow implementation for the NetFPGA-10G card☆20Feb 18, 2015Updated 11 years ago
- What does my system look like?☆15Jun 22, 2026Updated 4 months ago
- SYCL-based 2D Stencil Simulation Framework☆19May 3, 2026Updated 6 months ago
- ITT☆16Oct 16, 2025Updated last year
- 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.
- POSIX Threads support in Julia.☆17Nov 16, 2022Updated 3 years ago
- Record MPI operations on tape☆26Dec 13, 2023Updated 2 years ago
- ☆15Jul 8, 2025Updated last year
- ☆27Updated this week
- Plugin solutions to enable shell integration on Windows Terminal for various shells☆14Sep 18, 2024Updated 2 years ago
- Alveo Collective Communication Library: MPI-like communication operations for Xilinx Alveo accelerators☆111Jun 30, 2025Updated last year
- ☆17Jul 5, 2026Updated 3 months ago
- FINN+ is an extended version of FINN, a dataflow compiler for QNN inference on FPGAs. It is maintained by a group of researchers at Pader…☆60Updated this week
- A new Hardware Design Language that keeps you in the driver's seat☆130Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Julia wrapper for the performance monitoring and benchmarking suite LIKWID.☆71Jun 12, 2026Updated 4 months ago
- Provides an SSH server that enables rcon connections to configured game servers☆12Jul 24, 2019Updated 7 years ago
- A OpenCL-based FPGA benchmark suite for HPC☆37May 4, 2026Updated 5 months ago
- MANTRA: The Manifold Triangulations Assemblage (A dataset of manifold triangulations)☆15Updated this week
- ☆53Sep 17, 2025Updated last year
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 10 years ago
- Multiplatform Sonivox EAS for Qt☆12Updated this week
- ☆30Oct 16, 2022Updated 4 years ago
- ☆12Jun 12, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Spectrogram for UrbanSound8K audio dataset☆10Feb 23, 2019Updated 7 years ago
- Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.☆17Aug 3, 2026Updated 3 months ago
- Project for the course of A.I. For Videogames, University of Milan, M.Sc. in Computer Science, A.Y. 2021/2022. Procedural generation of a…☆11Sep 7, 2023Updated 3 years ago
- ☆15Updated this week
- ☆20Updated this week
- A multithreaded operating system for reconfigurable hardware☆13Aug 24, 2011Updated 15 years ago
- This repository contains the WordNet Language Model Probing (WNLaMPro) dataset introduced in "Rare Words: A Major Problem for Contextuali…☆14Feb 2, 2020Updated 6 years ago
- Easily copy folders and files to other Git branches☆15Apr 19, 2010Updated 16 years ago
- Swift library for Buffers, Arrays, Bits and Bytes.☆13Jul 23, 2022Updated 4 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.
- Colorblind-friendly heatmaps of move effectiveness against pokemon☆17Jul 10, 2016Updated 10 years ago
- Creating energy-efficient inference solutions through the DiffLogic architecture, leveraging FPGAs to reduce data center power consumptio…☆14Sep 16, 2026Updated last month
- Rust bindings for CIRCT☆19Apr 20, 2024Updated 2 years ago
- HLS Custom-Precision Floating-Point Library☆13Nov 6, 2017Updated 8 years ago
- A complete guide in generating text using bert and fine-tune☆11Feb 25, 2026Updated 8 months ago
- Experiments in the efficient transpose of bit-matrices.☆17Aug 31, 2015Updated 11 years ago
- Automated performance test generation from unit tests☆12Updated this week