8000 sboehler (Silvio Böhler) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View sboehler's full-sized avatar

Organizations

@zfoh

Block or report sboehler

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Synchronisation of Withings weight

Python 545 108 Updated Feb 19, 2025

knut is an efficient plain text accounting tool with support for multiple currencies and valuation.

Go 61 12 Updated Nov 29, 2024

gRPC Web implementation for Golang and TypeScript

TypeScript 4,432 444 Updated Sep 23, 2023

Double entry plain text accounting for traders

F# 28 1 Updated Feb 13, 2025

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

TypeScript 49,628 5,355 Updated Jun 10, 2025

Magit for VSCode

TypeScript 1,422 79 Updated Feb 10, 2025

A formatter for Haskell source code

Emacs Lisp 37 10 Updated May 30, 2022

Forms for Halogen

PureScript 137 31 Updated Aug 2, 2023

Exemplary real world application built with PureScript + Halogen

PureScript 799 91 Updated Apr 26, 2025

Easy dependency management for Nix projects

Haskell 1,723 78 Updated Mar 2, 2025

Tiled scrollable window management for GNOME Shell

JavaScript 3,487 135 Updated May 27, 2025

A type-safe, non-TH Haskell SQL library and ORM

Haskell 594 177 Updated May 30, 2025

A formatter for Haskell source code

Haskell 996 83 Updated May 12, 2025

Fast, secure, efficient backup program

Go 28,933 1,611 Updated Jun 2, 2025

🍀 Next-generation, purely functional package manager for the Emacs hacker.

Emacs Lisp 2,840 158 Updated Jun 9, 2025

An asynchronous effect monad for PureScript

PureScript 286 64 Updated Sep 8, 2024

Emacs client/library for the Language Server Protocol

Emacs Lisp 4,935 917 Updated Jun 10, 2025

Nix packages for Haskell IDE Engine

Nix 114 17 Updated May 14, 2019

Configuration files for XMonad, Emacs, NixOS, Taffybar and more.

Nix 205 21 Updated Jun 7, 2025

A gtk based status bar for tiling window managers such as XMonad

Haskell 706 137 Updated Mar 5, 2025

📖 source material for Thinking with Types

Haskell 493 43 Updated Mar 6, 2023

A wayland compositor based on ideas from and inspired by xmonad

Haskell 857 39 Updated Jul 13, 2019

The engine for haskell ide-integration. Not an IDE

Haskell 2,370 205 Updated Dec 23, 2020

Nix Packages collection & NixOS

Nix 20,763 15,906 Updated Jun 10, 2025

The video editor built for screencasters

Haskell 430 21 Updated Apr 20, 2021

JSON Meta Application Protocol Specification (JMAP)

Makefile 1,284 87 Updated Jun 7, 2025

Tabula is a tool for liberating data tables trapped inside PDF files

CSS 7,062 667 Updated Mar 14, 2025

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Haskell 3,294 328 Updated Jun 10, 2025

Example of React Bindings for PureScript

PureScript 47 22 Updated Dec 8, 2018

quant finance in pure haskell

Haskell 137 11 Updated Apr 6, 2019
Next
0