A backend for the CSUA interblags.
☆23Apr 13, 2026Updated 6 months ago
Alternatives and similar repositories for csua-backend
Users that are interested in csua-backend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course information for the XCF/OCF Unix System Administration DeCal☆20Feb 13, 2025Updated last year
- ☆12Feb 10, 2026Updated 8 months ago
- Distributed Systems Consistency Reading Group☆43Sep 20, 2020Updated 6 years ago
- Browse units, decorations and buildings of Social Empires civilizations!☆12Jul 31, 2022Updated 4 years ago
- [ICML 2022] Official implementation of "Score-Guided Intermediate Layer Optimization: Fast Langevin Mixing for Inverse Problems".☆12Jul 19, 2022Updated 4 years 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.
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆14Updated this week
- ☆17Dec 9, 2022Updated 3 years ago
- protobuf implementation for Lean 4☆14Sep 1, 2026Updated 2 months ago
- ☆10Sep 16, 2026Updated last month
- A lossless data compression program in Haskell using Huffman codes☆10Jun 26, 2024Updated 2 years ago
- Terraform provider to build resources on Runpod.io☆14Nov 14, 2025Updated 11 months ago
- Payment Initiation demo app for Europe, based on Plaid Pattern☆10Oct 16, 2026Updated 3 weeks ago
- The ACP client implementation in Jupyter AI☆14Oct 27, 2026Updated last week
- SAT Competition 2024☆11Aug 28, 2024Updated 2 years 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.
- maybe some rust bindings for drpc?☆10Sep 22, 2022Updated 4 years ago
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- Git repository containing the Futhark website.☆10Oct 31, 2026Updated last week
- GPU code optimization using EVOlutionary computation☆10Sep 16, 2024Updated 2 years ago
- ☆12Sep 29, 2021Updated 5 years ago
- Optimised multi-node MPI sorting algorithms in Julia☆10Sep 25, 2024Updated 2 years ago
- ☆12Jul 21, 2024Updated 2 years ago
- A testing ground for quantum computing compilation ideas in xdsl☆13Updated this week
- Studying the dynamics of table tennis rackets for table tennis robot☆12Jun 7, 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.
- Python 3 runtime libraries for ANTLR 4☆13Jun 7, 2015Updated 11 years ago
- Official JAX implementation of neural isometries - taming transformations for equivariant ML☆36Aug 1, 2025Updated last year
- A MATLAB codebase to analyze TEM images of soot, which includes new methods associated with this project and a compilation of other pre-e…☆12Jun 8, 2026Updated 4 months ago
- Computational complexity theory in Lean built on top of CSLib.☆22Updated this week
- Easy and efficient 2D spin glass simulation for quantum annealing☆12May 17, 2024Updated 2 years ago
- Distributed SDDMM Kernel☆13Jul 8, 2022Updated 4 years ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated 8 months ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆15Updated this week
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Jul 17, 2025Updated last year
- 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.
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- RustNL 2023 conference☆15Jan 24, 2024Updated 2 years ago
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- CDCL SAT-solver for GPUs☆13May 5, 2017Updated 9 years ago
- HardCaml example designs☆18Jun 13, 2018Updated 8 years ago
- Script to download all of Hackage☆19Jul 14, 2019Updated 7 years ago
- Quantum computing simulator for OpenQASM☆18Updated this week