pinselimo

pinselimo's repositories

Pythas

Import Haskell modules in Python as if they were native modules

Language:PythonLGPL-3.012 2 13

dotfiles

Terrible taste is just a git clone away

Language:NixUnlicense4 20

cstructs-in-haskell

C-Struct Types for Haskell

Language:HaskellMIT3 2 1

BackAtDaylight

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

Language:NixGPL-3.01 3 8

networkx

Network Analysis in Python

Language:PythonNOASSERTION1 10

PyOeGKC

Convert municipality codes of Austrian towns throughout time

Language:PythonMIT1 30

Idris2-Adjunctions

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

Language:IdrisBSD-2-Clause020

Idris2-Profunctors

A small profunctor library for idris2

Language:Idris010

libredaum

Full stack communication protocol for Daum fitness equipment.

Language:JavaMIT020

AoC2021

My solutions for AoC21 in Idris2

Language:Idris020

ArrowSpeed

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

Language:NixGPL-3.0020

AWS1_S22

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

Language:Jupyter NotebookMIT02 2

CompBasicsWS21

Lecture contents of Computational Basics UE (Group Plakolb)

Language:Jupyter NotebookMIT020

Estatico

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

Language:PythonAGPL-3.002 1

gnome-extension-glasa

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

Language:JavaScriptGPL-3.0000

gtk-layer-shell

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

Language:CGPL-3.0010

Idris2

A purely functional programming language with first class types

Language:IdrisNOASSERTION010

lora

LibreOffice Recovery Assistant

Language:ShellMIT020

nix-direnv

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

Language:PythonMIT010

nixpkgs

Nix Packages collection

Language:NixMIT010

oh-my-fish

The Fish Shell Framework

Language:ShellMIT010

osmnx

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

Language:PythonMIT010

pinselimo.github.io

My static website / occasional blog

Language:HTML020

Pythas-FFI

Create FFI wrapped modules from Haskell source files!

Language:HaskellLGPL-3.002 1

Pythas-Types

Haskell types for easy FFI with nested data.

Language:HaskellMIT02 1

sway

i3-compatible Wayland compositor

Language:CMIT010

swaylock

Screen locker for Wayland

Language:CMIT010

W-ay-hteboard

A trivial whiteboard app that supports HiDPI on Wayland.

Language:CGPL-3.002 1

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

Language:C++MIT010

Wonderland

Sanderson's Wonderland for a course I give on "Applied Systems Science II - Python Wonderland" to teach advanced Python skills

Language:PythonAGPL-3.0020