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:
- ☆15Updated this week
- could it be?☆18Jul 11, 2025Updated last year
- Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)☆19Mar 11, 2020Updated 6 years ago
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 15 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Jul 21, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 23, 2026Updated 7 months ago
- An implementation of the YARV virtual machine in TypeScript.☆48Aug 5, 2026Updated 2 months ago
- A library that makes it nicer to work with nested functional data structures☆62Jul 10, 2026Updated 3 months ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆112Mar 13, 2025Updated last year
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Mar 22, 2021Updated 5 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆397Jun 5, 2026Updated 4 months ago
- Server to host Lean games☆575Oct 24, 2026Updated last week
- List of materials about functional programming in C++☆713Jun 27, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A categorized list of C++ resources.☆5,311Updated this week
- A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out t…☆11,644Sep 19, 2026Updated last month
- Learn Domain-Driven Design, software architecture, design patterns, best practices. Code examples included☆15,002Jun 11, 2024Updated 2 years ago
- Modern C++ Programming Course (C++03/11/14/17/20/23/26)☆16,269Apr 19, 2026Updated 6 months ago
- Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation☆17,370Updated this week
- Master programming by recreating your favorite technologies from scratch.☆557,829Jul 14, 2026Updated 3 months ago
- The simplest, fastest repository for training/finetuning medium-sized GPTs.☆64,277Nov 12, 2025Updated 11 months ago
- TradingAgents: Multi-Agents LLM Financial Trading Framework☆119,054Updated this week
- A collection of learning resources for curious software engineers☆51,670Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Empowering everyone to build reliable and efficient software.☆120,905Updated this week
- Implement a ChatGPT-like LLM in PyTorch from scratch, step by step☆107,596Updated this week
- Node.js JavaScript runtime ✨🐢🚀✨☆123,148Updated this week
- Supercharge your AI agents with data from the web and beyond. Building the library for superintelligence. 🔥☆197,313Updated this week
- freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.☆458,295Updated this week
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆370,874Updated this week
- An OCaml library for describing and simulating synchronous finite state machines")☆32Mar 30, 2021Updated 5 years ago
- Kindle port of the textadept editor☆13Jun 15, 2026Updated 4 months ago
- ViPER4Android应用程序[简体中文]☆28Aug 15, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- transform a datapoint from a website into a CSV time-series dataset using the wayback machine☆12May 24, 2023Updated 3 years ago
- Sample project/code that uses the UE5 InteractiveToolsFramework to provide a small modeling app at Runtime☆97Jan 7, 2025Updated last year
- (function(){var l;function aa(a){var b=0;return function(){return b<a.length?{done:!1,value:a[b++]}:{done:!0}}}function ba(a){var b="unde…☆17Aug 17, 2019Updated 7 years ago
- Create ansi colors by passing open and close codes.☆19Apr 12, 2024Updated 2 years ago
- PC平台游戏程序☆218Aug 28, 2023Updated 3 years ago
- ☆14Aug 2, 2021Updated 5 years ago
- The Assistant for Scrap Mechanic App☆14Jan 1, 2024Updated 2 years ago