Under the Covers -- Jupyter Text Book
☆15Oct 20, 2023Updated 2 years ago
Alternatives and similar repositories for UndertheCovers
Users that are interested in UndertheCovers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 2, 2024Updated last year
- ☆27Jun 24, 2022Updated 3 years ago
- ☆28Aug 14, 2024Updated last year
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Jan 1, 2017Updated 9 years ago
- Switch between website accounts easily in Chrome☆18Oct 13, 2010Updated 15 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Some .tns file for Ti nspire CX CAS about Fluid Mechanics, Theory of Construction and Computational structural mechanics☆14Jan 11, 2023Updated 3 years ago
- A PC host LAN controller, enabling mobile phones to access a web page panel for PC control.☆12Feb 7, 2026Updated last month
- The original Backups mod from FTB, superseded by Backups 2 and Backups 3☆12Jun 28, 2025Updated 9 months ago
- 有关 Qv2ray 主项目及插件不再进行维护的通知☆17Aug 17, 2021Updated 4 years ago
- Arduino PS/2 mouse and joystick adapter for Commodore CDTV☆11Apr 25, 2016Updated 9 years ago
- A SQLite database explorer right in your browser. Lighter, faster, no installation required.☆19Dec 1, 2023Updated 2 years ago
- 将 B 站 XML/protobuf 弹幕转换为 ASS 弹幕☆21Sep 11, 2024Updated last year
- Rime Input Method Engine, the core library☆17Jun 2, 2023Updated 2 years ago
- v2ray VLESS + TCP+ TLS 自签名证书一键安装脚本☆18Nov 5, 2023Updated 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.
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Nov 25, 2019Updated 6 years ago
- Ocaml library to access Amazon S3☆51Sep 30, 2025Updated 5 months ago
- Trackpad++ allows controlling device's cursor using your mobile phone as a touchpad☆21Mar 2, 2023Updated 3 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 5 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Typed python equivalent for R pipes.☆13Oct 16, 2022Updated 3 years ago
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated 2 months ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆21Jan 11, 2026Updated 2 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 3 years ago
- Portable Event Library☆18Apr 28, 2025Updated 11 months ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Mar 20, 2026Updated last week
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 9 years ago
- Meta repository for information on the project as a whole☆20Apr 29, 2018Updated 7 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Priority queue for C☆12Mar 28, 2023Updated 3 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- ☆15Dec 31, 2025Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- Solutions to introductory distributed computing exercises☆13Apr 9, 2023Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 3 years ago
- rust-writing-os course of https://rust.os2edu.cn☆11Apr 29, 2022Updated 3 years ago
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 7 months ago
- iptables-trace is an eBPF enhanced iptables-TRACE alternative iptables TRACE. GPL-3.0 license☆14Feb 3, 2025Updated last year