☆38Nov 23, 2023Updated 2 years ago
Alternatives and similar repositories for ScriptDerivation
Users that are interested in ScriptDerivation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Website-Database of the Indus Valley Script☆18Dec 1, 2023Updated 2 years ago
- Push-based streams for Effect-ts☆16Apr 9, 2023Updated 3 years ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆16Updated this week
- all random stuff that dont warrant a seperate repo☆12Sep 2, 2022Updated 4 years ago
- Source code for the experimental, compact "wee" file compression utility.☆13May 8, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 11 months ago
- WASM on CloudFlare Workers☆13Aug 13, 2022Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆13Sep 28, 2026Updated 2 weeks ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 3 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 8 years ago
- Web page for exponent pair database☆16Aug 5, 2024Updated 2 years ago
- Website for Alloytools☆13Nov 3, 2025Updated 11 months ago
- ☆15Updated this week
- A command line utility for downloading Xbox screenshots and game clips to local storage☆13Apr 22, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lightweight Serverless Functions Framework for OpenStack Swift☆11Jul 10, 2020Updated 6 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- ☆12Dec 25, 2023Updated 2 years ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- C# cuckoo filters☆27Mar 16, 2021Updated 5 years ago
- Verified Boot for RPi3☆15Nov 16, 2021Updated 4 years ago
- Running Particle Swarm Optimization on Graphic Processing Units☆10Apr 22, 2017Updated 9 years ago
- ☆14Jul 11, 2026Updated 3 months ago
- IoT-LAB Yocto repository☆14Oct 5, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- A log of the state of fil+ allocators☆13Jun 30, 2026Updated 3 months ago
- All PWN-oriented (X-DEV/RE) CTFs from http://CTFTIME.org (organized in an excel sheet) 2016-2022 CTFs☆13Nov 21, 2022Updated 3 years ago
- The official repository for EEMBC's SecureMark™-TLS cryptography benchmark.☆19Feb 4, 2023Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- HLS project modeling various sparse accelerators.☆12Jan 11, 2022Updated 4 years ago
- ☆13Feb 28, 2022Updated 4 years ago
- React with TypeScript Starter App for Comet☆15Oct 1, 2026Updated 2 weeks ago
- Zenodo User Documentation☆18Oct 7, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Oct 3, 2018Updated 8 years ago
- ☆17Mar 17, 2023Updated 3 years ago
- ☆11Sep 8, 2022Updated 4 years ago
- An implementation of ABS Polar Code, including construction, encoding and decoding.☆12Jul 21, 2023Updated 3 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 5 months ago
- A template using minimal theme for GitHub pages☆10Apr 7, 2018Updated 8 years ago
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 8 years ago