☆15May 31, 2021Updated 5 years ago
Alternatives and similar repositories for planningCourse
Users that are interested in planningCourse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OCaml implementation of http://hashids.org☆12Nov 17, 2018Updated 7 years ago
- Randomized testing framework, designed for compatibility with Base☆19Updated this week
- A small Ada linear algebra library optimized for AVX2☆16Feb 26, 2025Updated last year
- OCaml Ctypes stubs generation notes☆22May 1, 2019Updated 7 years ago
- Library for writing arbitrary jupyter kernels in OCaml.☆17Apr 20, 2022Updated 4 years ago
- 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.
- A helper document about the Alloy specification language☆10Dec 3, 2018Updated 7 years ago
- OS X HD4000/AMD/Nvidia HDMI Audio dsdt/ssdt☆10Nov 25, 2017Updated 8 years ago
- Dynamic tuning for the OCaml garbage collector☆23Apr 24, 2025Updated last year
- ☆11Aug 9, 2022Updated 4 years ago
- Build Engine Randomizer (Duke Nukem 3D, Shadow Warrior, Ion Fury, Blood, PowerSlave)☆28Mar 28, 2024Updated 2 years ago
- A compiler for the Meta Attack Language☆16Apr 11, 2022Updated 4 years ago
- Declarative JSON data manipulation for OCaml☆29Oct 25, 2026Updated last week
- Automating the Implementation of a Cybersecurity Governance, Risk and Compliance Programme using Distributed Ledger Technologies☆12Aug 28, 2022Updated 4 years ago
- Bindings to the various POSIX APIs☆29Mar 8, 2026Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Igor: Objetivo Uikokahonia game interpreter (Android, SDL)☆22Aug 21, 2018Updated 8 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- To buy tickets on 12306.cn is so hard For Chinese ,So just let we make it more easy!☆10Dec 18, 2014Updated 11 years ago
- runtimes that add support for various boards to the GNAT GPL compiler for ARM☆15Aug 8, 2017Updated 9 years ago
- & images☆32Jul 21, 2026Updated 3 months ago
- OCaml debugger for VS Code☆14Feb 15, 2020Updated 6 years ago
- Generic batch system calls for Linux☆26Updated this week
- ☆10Jul 8, 2015Updated 11 years ago
- Text Classification using 15 Deep Learning Models with both Multi-Label and Single-Label Task.☆12Mar 12, 2020Updated 6 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.
- A small OCaml library to randomly generate values☆30Oct 11, 2022Updated 4 years ago
- SIGCOMM 2021 artifact☆12Jul 27, 2024Updated 2 years ago
- Personal mirror for adv_debug_sys☆11Aug 23, 2011Updated 15 years ago
- A library of splittable pseudo-random number generators for OCaml☆36Jan 17, 2025Updated last year
- Automated test generator to detectcache side channel leakages.☆12Jul 1, 2019Updated 7 years ago
- 酷我原创电台 API 和 Android 端☆13Dec 19, 2016Updated 9 years ago
- ☆12Mar 31, 2023Updated 3 years ago
- Find Cosine Similarity for Text Documents with Features developed from Word2Vec☆13Aug 19, 2015Updated 11 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 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.
- Proof of Concept for CVE-2014-3466 (GnuTLS buffer overflow: session id length check)☆17Sep 29, 2014Updated 12 years ago
- IC3PO: IC3 for Proving Protocol Properties☆29Sep 10, 2024Updated 2 years ago
- a simple POC of spectre_RSB☆13Jul 9, 2020Updated 6 years ago
- Property-based testing at ease☆42Aug 15, 2021Updated 5 years ago
- VLESS-XTLS-uTLS-REALITY setup script.☆10May 3, 2023Updated 3 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- A PyTorch implementation of the ACM SIGKDD 2021 paper titled "PETGEN: Personalized Text Generation Attack on Deep Sequence Embedding-base…☆17Dec 19, 2023Updated 2 years ago