A simple PHP script designed to solve a common issue when publishing `.ics` calendar files from Microsoft Exchange calendars to Google Calendar.
☆22Apr 10, 2026Updated 2 months ago
Alternatives and similar repositories for ICS-Timezone-Fixer
Users that are interested in ICS-Timezone-Fixer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆20Mar 20, 2021Updated 5 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆19Jun 21, 2015Updated 11 years ago
- Pi approximation using Monte Carlo Simulation☆21Aug 11, 2014Updated 11 years ago
- Minimal SML-based web server☆14Jun 19, 2015Updated 11 years ago
- gnuradio funcube dongle and funcube dongle pro+ source☆19Aug 13, 2022Updated 3 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.
- This package includes many data files for SCIM Generic Table Input Method module (table).☆15Aug 3, 2024Updated last year
- Linux Sucks slides and any other random stuff.☆22Jul 10, 2014Updated 11 years ago
- An Unofficial LSE LaTeX Beamer Theme☆15Sep 1, 2015Updated 10 years ago
- Indicator for character copying☆22Jan 25, 2022Updated 4 years ago
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated last year
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- ☆12Nov 8, 2018Updated 7 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- RasPiCamcorder3 the PiTFT version☆22Mar 31, 2014Updated 12 years 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.
- Ocaml library to control Firmata boards like Arduino☆20Oct 24, 2016Updated 9 years ago
- Public beta builds of the Dark Noise Mac app☆20May 20, 2021Updated 5 years ago
- OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints,…☆20May 3, 2022Updated 4 years ago
- Python based Morse decoder☆25May 3, 2015Updated 11 years ago
- Blockchain solutions for aviation safety☆25Feb 24, 2018Updated 8 years ago
- Tutorial for using the MPL compiler for Parallel ML☆23Jan 10, 2025Updated last year
- A simple http client/server (http/1.1 & h2) for OCaml 5☆43May 6, 2026Updated last month
- Scripts to compile and run Standard ML programs defined in .mlb files.☆17Mar 3, 2025Updated last year
- Color targets from vendors for color calibration☆23Aug 19, 2016Updated 9 years 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.
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated 2 years ago
- Docker image generation for generic Petalinux☆22Jul 31, 2023Updated 2 years ago
- Turn a set of web fonts into one json file☆71Jan 7, 2014Updated 12 years ago
- The tables engines for IBus☆45Jan 17, 2018Updated 8 years ago
- Brightness adjustor depending on one's sitting environment☆56Jul 24, 2018Updated 7 years ago
- MLton for scalable multicore architectures☆57Mar 10, 2014Updated 12 years ago
- Example of ED-247 standard implementation☆32Sep 26, 2024Updated last year
- My IPython Notebooks - I publish many of these as blog posts here http://georg.io/☆25Feb 15, 2021Updated 5 years ago
- a simple *nix clipboard manager with application-indicator support☆46Dec 5, 2018Updated 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.
- Transfer data over UDP with a Zedboard. This is an example project that transmits and receives data over UDP.☆30Mar 24, 2021Updated 5 years ago
- Vivado on Docker☆35Sep 16, 2021Updated 4 years ago
- Mono Dark Flattr is a fork of NitruxSA Flattr icon theme for Linux desktops that aims to combine the latest flat design trend with Ubunt…☆21Jul 29, 2015Updated 10 years ago
- ☆58Dec 2, 2013Updated 12 years ago
- A Gramps browseable object view☆36May 18, 2025Updated last year
- The language of the future!☆73Jan 7, 2024Updated 2 years ago
- Symbolic financial contract EDSL☆39Aug 26, 2020Updated 5 years ago