Static Judge System
☆16Sep 15, 2024Updated 2 years ago
Alternatives and similar repositories for judge
Users that are interested in judge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml☆10Apr 3, 2022Updated 4 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- HMAC-SHA-256 C++11 library designed for embedded systems☆12Oct 19, 2023Updated 3 years ago
- Easily convert Little/Big endian typed arrays to the host endianess☆16Aug 21, 2018Updated 8 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 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.
- Simple demo for using the Java 16 Vector API, using the well-known "FizzBuzz" example☆11Mar 11, 2021Updated 5 years ago
- CompCertX features to be merged into CompCert☆10Jan 2, 2018Updated 8 years ago
- The project in response to @ploeh's blog about types and tests.☆10Jun 8, 2019Updated 7 years ago
- A Snapshot Neural Ensemble Method for Cancer Type Prediction Based on Copy Number Variations☆20Jun 8, 2022Updated 4 years ago
- Approximations to the Erlang C queue length formula for M/M/n queues☆11Dec 15, 2020Updated 5 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 8 years ago
- Javascript Implementations of SplayTrees, Fusion Trees, BTrees, etc.☆11Dec 19, 2011Updated 14 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Boost.org integer module☆19Oct 2, 2026Updated last month
- 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.
- Example of using Message Passing Interface and Inversion of Control with modern Fortran and HDF5, all built with CMake.☆12Oct 4, 2019Updated 7 years ago
- ☆39Dec 16, 2016Updated 9 years ago
- Emulation of resumable expressions using boost.coroutine☆12Jun 26, 2018Updated 8 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Nov 17, 2017Updated 8 years ago
- Convert a series of strings into a radix tree☆25Sep 6, 2018Updated 8 years ago
- STREAMer: Benchmarking remote volatile and non-volatile memory bandwidth☆18Aug 21, 2023Updated 3 years ago
- Implementation of Alexander A. Stepanov inverted Index Compression algorithms☆21Nov 10, 2015Updated 10 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 8 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.
- CXL Memory Resource Kit top-level repository☆21Dec 13, 2023Updated 2 years ago
- Native file system extensions for advanced file operations☆38Updated this week
- Prolog stuff☆27Jul 19, 2026Updated 3 months ago
- A Compute Express Link (CXL) Benchmark Suite☆22Feb 12, 2025Updated last year
- Python client for the GOV.UK Notify API☆25Oct 26, 2026Updated last week
- Contract programming for C++☆42Aug 12, 2026Updated 2 months ago
- Example on how to use sockets to transfer data from Fortran to Python and viceversa☆28Apr 8, 2019Updated 7 years ago
- Restful web-service library written in C++11 based on Boost.ASIO and CRUD handlers☆32Feb 15, 2024Updated 2 years ago
- A monad for managed values☆50Nov 18, 2025Updated 11 months 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.
- Lagrangian finite-element code for solid mechanics on next-generation computing platforms.☆34Sep 14, 2026Updated last month
- Example Problems and Assignments for Prolog☆33Apr 23, 2013Updated 13 years ago
- A no-dependencies C++ extensible type erasure library☆46Jul 21, 2020Updated 6 years ago
- Type-safe time units in Haskell☆50Jan 22, 2025Updated last year
- Vector & affine spaces, linear maps, and derivatives☆50Jun 6, 2025Updated last year
- Helpers for clearing sensitive data on the stack and heap☆52Sep 17, 2026Updated last month
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆64Feb 3, 2018Updated 8 years ago