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
Sorting:
- could it be?☆18Jul 11, 2025Updated 7 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 19, 2024Updated last year
- 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 5 months ago
- This project converts structured Lean code into an interactive browser game.☆80Nov 15, 2023Updated 2 years ago
- Server to host lean games.☆408Jan 30, 2026Updated last month
- Qodo-Cover: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞☆5,294Jun 24, 2025Updated 8 months ago
- Learn Domain-Driven Design, software architecture, design patterns, best practices. Code examples included☆14,431Jun 11, 2024Updated last year
- A collection of learning resources for curious software engineers☆50,390Feb 8, 2026Updated 3 weeks ago
- Master programming by recreating your favorite technologies from scratch.☆470,389Feb 21, 2026Updated last week
- Curated list of project-based tutorials☆259,456Aug 15, 2024Updated last year
- 🌐 Make websites accessible for AI agents. Automate tasks online with ease.☆79,028Updated this week
- Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)☆71,751Updated this week
- Some useful websites for programmers.☆75,756Sep 16, 2025Updated 5 months ago
- A collection of (mostly) technical things every software developer should know about☆98,095Dec 29, 2025Updated 2 months ago
- freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.☆437,669Updated this week
- ui5-service-worker-sample demonstrates how the Service Worker API, available in modern web browsers, could be used in a UI5 app to realiz…☆24Feb 8, 2026Updated 3 weeks ago
- ☆18Aug 18, 2024Updated last year
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- Destruction effect in unity☆120Oct 9, 2016Updated 9 years ago
- Build Angular App using Jenkins and Jenkinsfile☆12Jun 11, 2022Updated 3 years ago
- This repository contains neccessary code to train AnisoNet, an equivariant graph neural network for predicting dielectric tensors of crys…☆13Feb 20, 2026Updated last week
- 后台管理系统Web Ui自动化测试（selenium+unittest+htmltestrunner）☆10Nov 27, 2022Updated 3 years ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- The Ynot Project source code.☆22May 5, 2014Updated 11 years ago
- A major mode with magical powers☆17Jun 26, 2018Updated 7 years ago
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- EAV triplets for Clara Rules, solving the update problem.☆50Jan 12, 2024Updated 2 years ago
- 1、引导页☆12Apr 22, 2016Updated 9 years ago
- IP数据库之openresty版☆55Oct 22, 2016Updated 9 years ago
- CQRS Event Sourcing User Microservice Example☆10Jun 15, 2021Updated 4 years ago
- A dual-interface tool with both graphical and command-line interfaces for working with AION game files.☆17Dec 2, 2025Updated 3 months ago
- ☆11Oct 16, 2023Updated 2 years ago
- A lightweight wrapper around the browser xslt engine☆12May 10, 2021Updated 4 years ago
- 仿网易新闻弹出带虚化背景评论☆15Jul 6, 2015Updated 10 years ago
- [RAL & IROS 2022] Lidar With Velocity: Correcting Moving Objects Point Cloud Distortion From Oscillating Scanning Lidars by Fusion With C…☆271May 25, 2022Updated 3 years ago
- Hardware abstraction layer for HackRF software-defined radio☆14Feb 4, 2017Updated 9 years ago
- A LOVE2D library for loading OGMO Editor maps☆10Mar 8, 2022Updated 3 years ago
- Raspberry Pi extension board for the PI1541 project.☆96Jun 15, 2020Updated 5 years ago
- Turn your Interceptor simulations into MEV bundles.☆18Aug 27, 2025Updated 6 months ago