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:
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- could it be?☆18Jul 11, 2025Updated 10 months ago
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- ☆81Sep 4, 2025Updated 8 months ago
- The standard template to create a lean game☆48Feb 20, 2026Updated 3 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.
- A library that makes it nicer to work with nested functional data structures☆62Updated this week
- Useful things for Standard ML☆72Oct 9, 2024Updated last year
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆116Mar 25, 2026Updated last month
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆272Aug 30, 2024Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆388Nov 5, 2025Updated 6 months ago
- Server to host Lean games☆496May 8, 2026Updated 2 weeks ago
- List of Computer Science courses with video lectures.☆81,472May 10, 2026Updated last week
- starter from "How to Train a GAN?" at NIPS2016☆11,621Jan 9, 2022Updated 4 years ago
- A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out t…☆11,292Dec 27, 2025Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- PyTorch implementations of Generative Adversarial Networks.☆17,460Jun 18, 2024Updated last year
- A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.☆13,607Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆53,682Updated this week
- 🌐 Make websites accessible for AI agents. Automate tasks online with ease.☆94,598Updated this week
- Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)☆72,631May 15, 2026Updated last week
- Small exercises to get you used to reading and writing Rust code!☆62,908Updated this week
- OBS Studio - Free and open source software for live streaming and screen recording☆72,573Updated this week
- SDK for developing motion control software on WeiLan Dev series robots.☆21Nov 25, 2025Updated 5 months ago
- 这是一款已经上线的教育游戏app，在苹果App Store搜索即可下载。里面有使用IAP内购/远程通知/GoogleAdmob广告。有不足的地方，欢迎大家提问，或改进本项目。大家可以star关注项目动态，也可以fork快速集成到自己的项目中。This is a shippe…☆10Jan 30, 2026Updated 3 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.
- OMGF automagically caches the Google Fonts used by your theme/plugins locally. No configuration (or brains) required!☆23May 13, 2026Updated last week
- Every device has a limit on the size of the L2CAP ping. If it gets an L2CAP ping packet, which is beyond the limit of the size, it will c…☆23Jan 25, 2026Updated 3 months ago
- Google Analytics native extension for Haxe NME☆24Feb 13, 2017Updated 9 years ago
- A template for building complex bots for Microsoft Teams - C# version☆101Feb 22, 2022Updated 4 years ago
- OSC protocol library for Node.js☆29May 29, 2011Updated 14 years ago
- An ethernet MAC implementation for the RP2040☆27Apr 15, 2022Updated 4 years ago
- Prototype Object Orientation for Gerbil Scheme☆24Sep 19, 2025Updated 8 months ago
- A simple and customizable price filter for FilamentPHP, allowing users to easily refine results based on specified price ranges.☆16Apr 10, 2026Updated last month
- ☆123Nov 21, 2024Updated last year
- 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.
- PPX rewriter that enables string interpolation in OCaml☆44Jun 30, 2025Updated 10 months ago
- Tambura.dsp - Waveguide physical model of an Indian Tambura/Tanpura in FAUST☆53Feb 28, 2022Updated 4 years ago
- Type Validation for Rails☆48Oct 29, 2024Updated last year
- Fast Indirect Illumination Using Two Virtual Spherical Gaussian Lights☆160Feb 25, 2026Updated 2 months ago
- Forked version of the Seurat plugin. Supports HDRP! Seurat is a scene simplification technology designed to process very complex 3D scene…☆17Mar 29, 2021Updated 5 years ago
- Simple setup to test Puppet scripts in Docker☆21Mar 2, 2014Updated 12 years ago
- AOSC OS on Windows Subsystem for Linux | Installer☆14Apr 21, 2019Updated 7 years ago