pinselimo Goto Github PK

aoc2021

My solutions for AoC21 in Idris2

arrowspeed

A Garmin data field that provides arrows indicating if the current speed is above or below the current average speed.

aws1_s22

FOSS contents of my winter 2022 lecture "Applied Systems Science 1"

backatdaylight

Garmin data field showing at which minimum average speed to reach a destination before sunset.

c02_oop1t1

Teaching materials / exercises of my lecture Programming 1 at University of Applied Science Campus02

compbasicsws21

Lecture contents of Computational Basics UE (Group Plakolb)

cstructs-in-haskell

C-Struct Types for Haskell

dotfiles

Terrible taste is just a git clone away

estatico

Static blog software and my blog contents all in one place.

firststeps

Part of the exercises of the lecture Programming 1 at the University of Applied Science Campus 02

gnome-extension-glasa

This extension puts an icon in the panel consisting of two comic-like eyes following the cursor.

gtk-layer-shell

A library to create panels and other desktop components for Wayland using the Layer Shell protocol

gvogeler.github.io

hamp-free

Haskell written WIFI controlled MP3-player wrapping mpg321 (or mpg123)

idris2

A purely functional programming language with first class types

idris2-adjunctions

Adjunction library for Idris2 aimed at a comprehensive port of Edward Kmett's Haskell-adjunctions.

idris2-profunctors

A small profunctor library for idris2

libredaum

Full stack communication protocol for Daum fitness equipment.

lora

LibreOffice Recovery Assistant

networkx

Network Analysis in Python

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

nixpkgs

Nix Packages collection

oh-my-fish

The Fish Shell Framework

osmnx

OSMnx: Python for street networks. Retrieve, model, analyze, and visualize street networks and other spatial data from OpenStreetMap.

pinselimo.github.io

My static website / occasional blog

predatorpreypy

A simple Agent-based model designed for teaching ABM in Python.

primitive-simd

Expose SIMD prim-ops in a uniform way.

pyoegkc

Convert municipality codes of Austrian towns throughout time

pythas

Import Haskell modules in Python as if they were native modules

pythas-examples

Collection of examples using the Pythas library