Repositories

koehlma repositories

62 supported repositories

Show repositories with indexed issues
koehlma/reveal.jsJavaScript

The HTML Presentation Framework

Last commit Aug 8, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/rigorousPython

A framework for working with inference rules.

Last commit Sep 14, 2021

 (11 stars) (1 fork) (0 indexed issues) (0 open good first issues)
koehlma/rugix-stratopi-templateShell

Last commit May 21, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/rustRust

Empowering everyone to build reliable and efficient software.

Last commit Mar 16, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/serdeRust

Serialization framework for Rust

Last commit Sep 12, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/sharedvec-rsRust

A fast but limited ordered collection for storing values of a single type.

Last commit May 19, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/snippetsPython

some useful code snippets and programs

Last commit Aug 19, 2012

 (7 stars) (1 fork) (0 indexed issues) (0 open good first issues)
koehlma/sphinxPython

Main repository for the Sphinx documentation builder

Last commit Nov 20, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/studiumStandard ML

Last commit Dec 15, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/studium_prog2_iban_testsAssembly

Last commit May 7, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/sympyPython

A computer algebra system written in pure Python

Last commit Dec 25, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/tedge-rugpi-coreShell

WIP: Testing unreleased rugpi functionality! thin-edge.io rugpi images/recipes

Last commit Jun 12, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/tedge-rugpi-imageShell

thin-edge.io Raspberry Pi 0/1B/2B/3/4/5 image using rugpi for A/B updates

Last commit Jun 17, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/test-repository

Last commit Jul 22, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/thin-edge.ioRust

The open edge framework for lightweight IoT devices

Last commit Jul 29, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/tinpuckC

Last commit Jul 26, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/toavrC++

Last commit Jun 9, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koehlma/uvPython

Python libuv CFFI Bindings

Last commit Oct 10, 2016

 (19 stars) (5 forks) (0 indexed issues) (0 open good first issues)
koehlma/verificationPython

Verification Project – Python Libraries

Last commit Feb 7, 2017

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
koehlma/vscode-markdown-mathTypeScript

adds math support to VS Code's built-in markdown preview

Last commit Aug 23, 2017

 (12 stars) (4 forks) (0 indexed issues) (0 open good first issues)