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:
- could it be?☆18Jul 11, 2025Updated 9 months ago
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆94Mar 13, 2025Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆384Nov 5, 2025Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Creusot helps you prove your Rust code is correct.☆1,565Updated this week
- Collaborative Programmable Music☆6,176Jan 24, 2026Updated 3 months ago
- Educational blog posts for Rust beginners☆8,352Feb 17, 2025Updated last year
- Nyxt - the hacker's browser.☆10,903Feb 26, 2026Updated 2 months ago
- a cheat-sheet for mathematical notation in code form☆15,475Mar 8, 2022Updated 4 years ago
- 🌐 Make websites accessible for AI agents. Automate tasks online with ease.☆90,877Apr 26, 2026Updated last week
- Master programming by recreating your favorite technologies from scratch.☆498,564Feb 21, 2026Updated 2 months ago
- A collection of learning resources for curious software engineers☆50,768Apr 20, 2026Updated last week
- Empowering everyone to build reliable and efficient software.☆112,434Updated this 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.
- Node.js JavaScript runtime ✨🐢🚀✨☆116,998Updated this week
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆354,019Updated this week
- Deno JSON Store☆13Nov 4, 2020Updated 5 years ago
- Reduce the spam you get for your job posting by setting up a micro challenge.☆34Mar 15, 2016Updated 10 years ago
- Like `new Map` but for older JavaScripts☆21Oct 25, 2025Updated 6 months ago
- Allows to easily create, process and reuse HTML forms☆2,777Apr 22, 2026Updated last week
- Generative turbulence model TurbDiff as proposed in "From Zero to Turbulence: Generative Modeling for 3D Flow Simulation", ICLR 2024☆35Dec 7, 2025Updated 4 months ago
- Copier template for solving Advent of Code puzzles with Python☆13Dec 28, 2024Updated last year
- ☆23Apr 30, 2020Updated 6 years 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.
- Tutorial on how to write reproducible scientific reports in Markdown, using knitr and pandoc.☆16Oct 15, 2014Updated 11 years ago
- ☆15Oct 19, 2024Updated last year
- CLI tool for converting Serum 2 preset files to JSON and vice versa☆46Apr 17, 2026Updated 2 weeks ago
- Outliner for the web and offline use☆29Nov 12, 2010Updated 15 years ago
- CCAFS analogues project☆15Jun 19, 2020Updated 5 years ago
- Frame aware scheduling for android.☆1,055Feb 20, 2026Updated 2 months ago
- Angular Firebase Grocery App☆10Jan 7, 2023Updated 3 years ago
- Load a dynamic library and start a thread in another process☆27Aug 30, 2015Updated 10 years ago
- PHP SDK for running queries against the millions of icons provided by The Noun Project.☆11Aug 31, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Supplementary material for "A practical guide for transparency in psychological science" (find the paper at https://psyarxiv.com/rtygm/)☆10Nov 24, 2021Updated 4 years ago
- Vortex Pok3r layout for Linux users☆16Mar 18, 2018Updated 8 years ago
- Experimental Language Server proxy/multiplexer☆16Sep 1, 2024Updated last year
- Create and parse multibyte binary buffers☆18Oct 4, 2018Updated 7 years ago
- A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2☆423Apr 23, 2026Updated last week
- Demo of using template engines with express.js and node.js☆76Oct 11, 2014Updated 11 years ago
- ☆51Mar 21, 2017Updated 9 years ago