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 11 months 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 3 months ago
- ☆83Sep 4, 2025Updated 9 months ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The standard template to create a lean game☆50Feb 20, 2026Updated 3 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 23, 2026Updated 2 months ago
- A library that makes it nicer to work with nested functional data structures☆62May 18, 2026Updated 3 weeks ago
- Useful things for Standard ML☆73Oct 9, 2024Updated last year
- A list of resources that cross the disciplines of Computer Science and Philosophy☆95Mar 13, 2025Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆388Jun 5, 2026Updated last week
- Master programming by recreating your favorite technologies from scratch.☆512,975Feb 21, 2026Updated 3 months ago
- 🌐 Make websites accessible for AI agents. Automate tasks online with ease.☆98,241Updated this week
- Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)☆72,864Jun 5, 2026Updated last week
- 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.
- Empowering everyone to build reliable and efficient software.☆113,615Updated this week
- freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.☆446,468Updated this week
- Config files for my GitHub profile.☆20Jun 1, 2026Updated last week
- contains both facts and opinions about es-whateverthefuck☆13Aug 3, 2016Updated 9 years ago
- Simple JavaScript Discord bot with dashboard.☆63Dec 13, 2022Updated 3 years ago
- Webpack plugin for prettier-eslint which ESLint's settings is set to JavaScript Standard Style☆23Dec 2, 2021Updated 4 years ago
- Official Implementation for "Block and Detail: Scaffolding Sketch-to-Image Generation"☆40Oct 30, 2024Updated last year
- A pipeline parallel training script for diffusion models.☆149Jun 21, 2025Updated 11 months ago
- A library mod with new configurability and compatibility enhancements for worldgen☆37May 15, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- CURL: Continuous, Ultra-compact Representation for LiDAR☆54Oct 11, 2023Updated 2 years ago
- A VST and Audio Unit, which provides two formant filters and an LFO modulated blend control between the two.☆22Mar 19, 2024Updated 2 years ago
- WordPress profiling tool☆175Jul 26, 2019Updated 6 years ago
- Simple shell script for sending temperature, humidity and battery level values from LYWSD02 and LYWSD03MMC sensors to the mqtt broker☆24Jan 25, 2021Updated 5 years ago
- Map rusqlite rows to structs☆16May 1, 2024Updated 2 years ago
- just another android logging framework☆14Jan 21, 2016Updated 10 years ago
- text editor made with ncurses and C++☆12Oct 21, 2021Updated 4 years ago
- Package for using the Mailchimp API in Haskell☆14Aug 23, 2013Updated 12 years ago
- A JUCE based stereo expander and harmonic exciter using Mid-Side processing and tube-based distortion for increased stereo width and harm…☆18Nov 21, 2024Updated last year
- 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.
- Snake game written in PowerShell which uses any windows console (cmd.exe, powershell.exe, even VSCode) and draws out a custom native code…☆14Mar 25, 2025Updated last year
- Super Nario - Haskell clone (mirror)☆13May 7, 2020Updated 6 years ago
- Fortnite Hybrid server.☆19Aug 4, 2022Updated 3 years ago
- 红外和可见光融合☆10Apr 17, 2019Updated 7 years ago
- TextMate support for ShellScript☆44Sep 13, 2022Updated 3 years ago
- temporary email issuance for the @hackclub slack☆21Feb 5, 2025Updated last year
- Ignifuga Game Engine☆31Feb 19, 2013Updated 13 years ago