Fill this form if you want to be added as a collaborator: https://forms.gle/izyH27vehCq7jom48
☆20Apr 28, 2024Updated last year
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.☆12May 16, 2022Updated 3 years ago
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆31Mar 3, 2026Updated last month
- ☆76Sep 4, 2025Updated 7 months ago
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…☆41Sep 17, 2025Updated 6 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.
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 23, 2026Updated 3 weeks ago
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 years ago
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆114Mar 25, 2026Updated 2 weeks ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆94Mar 13, 2025Updated last year
- Computational Linguistics.☆107Oct 24, 2022Updated 3 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Mar 22, 2021Updated 5 years ago
- List of links of techniques to help enhance mathematical notation☆193Oct 13, 2024Updated last year
- Server to host Lean games☆433Apr 3, 2026Updated last week
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆380Nov 5, 2025Updated 5 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.
- starter from "How to Train a GAN?" at NIPS2016☆11,633Jan 9, 2022Updated 4 years ago
- A curated list of practical financial machine learning tools and applications.☆8,477Jan 3, 2025Updated last year
- Solve puzzles. Learn CUDA.☆12,034Sep 1, 2024Updated last year
- PyTorch implementations of Generative Adversarial Networks.☆17,447Jun 18, 2024Updated last year
- Download trade data from UN Comtrade using jsonio and parsing the output in a user friendly format.☆19Jun 2, 2020Updated 5 years ago
- ☆15May 18, 2018Updated 7 years ago
- C/C++ compiler vendor and features detection.☆42Oct 19, 2017Updated 8 years ago
- Plants Vs Zombies 2 Version 3.8.1 - In Game Menu + 11☆10Aug 28, 2015Updated 10 years ago
- Values with two possibilities☆27Sep 17, 2022Updated 3 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.
- Julia API to the Remarkable cloud☆41Feb 2, 2024Updated 2 years ago
- SPECFEM++ is a complete re-write of SPECFEM suite of packages (SPECFEM2D, SPECFEM3D, SPECFEM3D_GLOBE) using C++☆53Updated this week
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆114Apr 2, 2025Updated last year
- Spectral Projected Gradient Method for Box-Constrained Minimization☆17Aug 26, 2024Updated last year
- liulishuo filedownload demo refactor☆25Oct 16, 2017Updated 8 years ago
- yet another tweak injector / tweak hooking library for darwin systems☆629Jun 6, 2025Updated 10 months ago
- Various array processing tools for infrasound and seismic data☆24Mar 30, 2026Updated 2 weeks ago
- A Nintendo 3DS Homebrew application which allows the end user to freely change the (Raw) RTC of the system to bypass timegates.☆27Feb 17, 2018Updated 8 years ago
- A small library for parsing objects.☆31Sep 25, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Exception-oriented exploitation by Ian Beer☆192Mar 1, 2018Updated 8 years ago
- Various efficient-ish sequence types for PureScript.☆47Mar 17, 2024Updated 2 years ago
- Arithmetic coding library☆17Mar 27, 2026Updated 2 weeks ago
- Metalanguage analysis☆10Dec 10, 2018Updated 7 years ago
- Experiments with syntax and symbols☆15Mar 5, 2019Updated 7 years ago
- A terraform module for managing and creating a Kubernetes cluster on digital ocean☆12Dec 15, 2023Updated 2 years ago
- Semantic LIDAR odometry and mapping for cylinderical objects (e.g. trees in forests)☆245Oct 17, 2022Updated 3 years ago