sboehler

sboehler's Stars

• sboehler/knut

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

  Language:Go558

• improbable-eng/grpc-web

  gRPC Web implementation for Golang and TypeScript

  Language:TypeScript4.4k434

• blossom-hub/blossom

  Double entry plain text accounting for traders

  Language:F#251

• laurent22/joplin

  Joplin - the secure note taking and to-do app with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.

  Language:TypeScript44k4.8k

• kahole/edamagit

  Magit for VSCode

  Language:TypeScript1.1k60

• vyorkin/ormolu.el

  A formatter for Haskell source code

  Language:Emacs Lisp3510

• thomashoneyman/purescript-halogen-formless

  Forms for Halogen

  Language:PureScript13833

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript78585

• nmattia/niv

  Easy dependency management for Nix projects

  Language:Haskell1.5k74

• paperwm/PaperWM

  Tiled scrollable window management for Gnome Shell

  Language:JavaScript2.8k122

• haskell-beam/beam

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

  Language:Haskell573169

• tweag/ormolu

  A formatter for Haskell source code

  Language:Haskell93483

• restic/restic

  Fast, secure, efficient backup program

  Language:Go24.3k1.5k

• radian-software/straight.el

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

  Language:Emacs Lisp2.7k151

• purescript-contrib/purescript-aff

  An asynchronous effect monad for PureScript

  Language:PureScript28368

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.7k862

• domenkozar/hie-nix

  Nix packages for Haskell IDE Engine

  Language:Nix11518

• colonelpanic8/dotfiles

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

  Language:CSS19020

• taffybar/taffybar

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

  Language:Haskell687135

• isovector/thinking-with-types

  📖 source material for Thinking with Types

  Language:Haskell46042

• waymonad/waymonad

  A wayland compositor based on ideas from and inspired by xmonad

  Language:Haskell83537

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k214

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix16.3k12.8k

• owickstrom/komposition

  The video editor built for screencasters

  Language:Haskell42922

• jmapio/jmap

  JSON Meta Application Protocol Specification (JMAP)

  Language:Makefile1.2k82

• tabulapdf/tabula

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

  Language:CSS6.6k633

• simonmichael/hledger

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

  Language:Haskell2.8k307

• ethul/purescript-react-example

  Example of React Bindings for PureScript

  Language:PureScript4522

• boundedvariation/quantfin

  quant finance in pure haskell

  Language:Haskell13313

• ndmitchell/ghcid

  Very low feature GHCi based IDE

  Language:Haskell1.1k110