Skip to content

Instantly share code, notes, and snippets.

View jtojnar's full-sized avatar
💤

Jan Tojnar jtojnar

💤
  • ogion.cz
  • Czech Republic
View GitHub Profile
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE plist
PUBLIC '-//Apple Computer//DTD PLIST 1.0//EN'
'http://www.apple.com/DTDs/PropertyList-1.0.dtd'>
<plist version="1.0">
<dict>
<key>name</key>
<string>SmPL</string>
<key>scopeName</key>
<string>source.smpl</string>
@jtojnar
jtojnar / tsicsv2gpx.py
Last active July 23, 2023 13:52
Tool for converting CSV files exported from TSI LogView into GPX format.
#!/usr/bin/env python3
"""
This is a tool for converting CSV files exported from TSI LogView into GPX format.
While LogView can export to GPX natively, the produced file has several downsides:
- It uses GPX version 1.1, which cannot be imported to Garmin BaseCamp program.
- It lacks waypoints.
- It lacks some other recorded data like speed or heading.
@jtojnar
jtojnar / flake.lock
Last active November 28, 2023 11:57
Attempt at packagin kani with fenix https://github.com/model-checking/kani
{
"nodes": {
"fenix": {
"inputs": {
"nixpkgs": [
"nixpkgs"
],
"rust-analyzer-src": "rust-analyzer-src"
},
"locked": {
<!DOCTYPE html>
<html lang="en">
<head>
<title>Multiplier demo</title>
</head>
<body>
<div class="container">
<h1>Contributte Form Multiplier</h1>
{form form}
<div n:multiplier="emails">