Fill this form if you want to be added as a collaborator: https://forms.gle/izyH27vehCq7jom48
☆18Apr 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:
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 15 years ago
- ☆23Jul 23, 2024Updated 2 years ago
- Practice questions for the quantitative finance interview.☆40Aug 20, 2023Updated 3 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Jul 21, 2026Updated 2 months ago
- High-performance open-source drone design☆24Apr 29, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A building block to easily create feature folders using the Clean Architecture approach.☆29Mar 1, 2023Updated 3 years ago
- A no-dependency, intuitive, and lightweight web framework from scratch in Javascript☆47Sep 14, 2021Updated 5 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- ☆107Jul 31, 2026Updated 2 months ago
- Distributors - Unifying Parsers, Printers & Grammars☆68Oct 2, 2026Updated last week
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆119Sep 30, 2026Updated last week
- A list of resources that cross the disciplines of Computer Science and Philosophy☆97Mar 13, 2025Updated last year
- ☆302Apr 23, 2026Updated 5 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆396Jun 5, 2026Updated 4 months 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.
- Creusot helps you prove your Rust code is correct.☆1,871Updated this week
- A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by…☆11,702Updated this week
- 🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites☆13,368Oct 4, 2026Updated last week
- Master programming by recreating your favorite technologies from scratch.☆552,504Jul 14, 2026Updated 2 months ago
- Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)☆80,214Updated this week
- TradingAgents: Multi-Agents LLM Financial Trading Framework☆110,605Oct 3, 2026Updated last week
- Agents that use the browser.☆117,636Updated this week
- A collection of learning resources for curious software engineers☆51,621Sep 29, 2026Updated last week
- Curated list of project-based tutorials☆286,364Updated this week
- 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.
- Supercharge your AI agents with data from the web and beyond. Building the library for superintelligence. 🔥☆190,397Updated this week
- Node.js JavaScript runtime ✨🐢🚀✨☆122,306Updated this week
- freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.☆456,872Updated this week
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆369,146Updated this week
- ☆37Jun 14, 2022Updated 4 years ago
- MANUfacturing Edge Lightweight Accelerator☆38Mar 14, 2023Updated 3 years ago
- Julia's HPC command for automatic feature/model selection using all-subset-regression approaches☆18Sep 29, 2026Updated last week
- ☆12Oct 1, 2026Updated last week
- Phoenix Web Development, published by Packt☆11Jan 30, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple application for viewing news with multimodule architecture, Retrofit, MVVM, paging, unit tests☆18Dec 26, 2022Updated 3 years ago
- 🥥 Cashu wallet and mint implementation in Zig☆31Oct 7, 2024Updated 2 years ago
- ☆10Mar 10, 2023Updated 3 years ago
- A Craft CMS plugin for generating preview images of PDF files.☆10May 14, 2016Updated 10 years ago
- Burp Suite Extension useful to inspect UPnP security☆17Nov 9, 2021Updated 4 years ago
- template engine like Laravel blade in Golang☆20Jun 22, 2018Updated 8 years ago
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago