Fill this form if you want to be added as a collaborator: https://forms.gle/izyH27vehCq7jom48
☆20Apr 28, 2024Updated 2 years ago
Alternatives and similar repositories for Sem4
Users that are interested in Sem4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- A curated list of resources on the science of learning anything☆35Dec 17, 2024Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆66Jun 12, 2026Updated 3 weeks ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 23, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A list of resources that cross the disciplines of Computer Science and Philosophy☆95Mar 13, 2025Updated last year
- List of links of techniques to help enhance mathematical notation☆196Oct 13, 2024Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆391Jun 5, 2026Updated 3 weeks ago
- starter from "How to Train a GAN?" at NIPS2016☆11,621Jan 9, 2022Updated 4 years ago
- MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville☆14,143Feb 3, 2026Updated 4 months ago
- A markup-based typesetting system that is powerful and easy to learn.☆54,563Jun 25, 2026Updated last week
- Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)☆73,114Jun 25, 2026Updated last week
- Node.js JavaScript runtime ✨🐢🚀✨☆117,993Updated this week
- A collection of (mostly) technical things every software developer should know about☆99,950Dec 29, 2025Updated 6 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.
- A book series (2 published editions) on the JS language.☆184,548Feb 15, 2026Updated 4 months ago
- The Code Tracer☆33Jan 22, 2025Updated last year
- 《Linux提权方法论》☆807Feb 22, 2023Updated 3 years ago
- TensorFlow implementation of the CVPR 2018 spotlight paper, Deep Photo Enhancer: Unpaired Learning for Image Enhancement from Photographs…☆806Sep 11, 2019Updated 6 years ago
- [ICML 2023] Optimizing the Collaboration Structure in Cross-Silo Federated Learning. Wenxuan Bao, Haohan Wang, Jun Wu, Jingrui He.☆21Jul 25, 2023Updated 2 years ago
- ☆13Oct 2, 2022Updated 3 years ago
- ☆10Apr 25, 2018Updated 8 years ago
- A simple plugin to make Obsidian's preview of LogSeq markdown a bit more pleasant.☆88Feb 8, 2022Updated 4 years ago
- ☆11Mar 12, 2022Updated 4 years ago
- 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.
- A fast, lightweight and minimalistic Wayland terminal emulator☆23Jun 14, 2025Updated last year
- ☆14Dec 7, 2020Updated 5 years ago
- Gather for the Python Extension☆30Jun 17, 2026Updated 2 weeks ago
- 🎹 A mechanical keyboard sound simulator for macOS☆17Feb 15, 2025Updated last year
- Resources for the AI Tour Talk on "Advanced Retrieval for your AI Apps and Agents" on Azure - slides, talk recording, demo recording, dem…☆41Apr 19, 2026Updated 2 months ago
- [CVPR 2021] Exploring Sparsity in Image Super-Resolution for Efficient Inference☆239Oct 18, 2021Updated 4 years ago
- 基于 OPSEC 的 CobaltStrike 后渗透自动化链☆452Mar 11, 2024Updated 2 years ago
- Social note-taking☆28Jan 22, 2022Updated 4 years ago
- 💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.☆12Feb 14, 2019Updated 7 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.
- An UserScript that aims to restore YouTube's 2012 layout.☆35Oct 29, 2023Updated 2 years ago
- A no-dependency utility to undervolt Intel CPUs on Linux systems, with user-friendly GUI☆29Jun 24, 2026Updated last week
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.☆13Jun 16, 2022Updated 4 years ago
- Portable Unix shell commands for Node.js☆14,401Jun 22, 2026Updated last week
- Sample HoloLens2 application showing various different ways to get an AAD token (including Iris scan). MSAL, ADAL and WebAuthenticationBr…☆22Jul 23, 2020Updated 5 years ago
- Add-on script for mpv to learn languages together with the Migaku browser extension.☆24Jan 14, 2023Updated 3 years ago
- Easier Remapping in UE4 Face AR Sample☆18Aug 1, 2020Updated 5 years ago