Pinned Repositories
blog
My blog
centered-cursor-mode.el
An emacs minor mode for smooth scrolling
code-compass
A set of code analyses that assist you in tackling software complexity
example-jacoco-lombok-sonarqube
functional-programming-for-problem-solvers
An attempt at showcasing how Engineers can use Functional Programming to solve real world problems
junit-quickcheck-vavr
JUnit Quickcheck support for Vavr types
property-based-testing-talk-support
Live coding support of my "Property tests: Write fewer tests, find more bugs" talk.
sonar-haskell
Sonar Haskell plugin
troll-of-fame-haskell
Haskell version of the Property Based Test workshop
troll-of-fame-java
sir4ur0n's Repositories
sir4ur0n/blog
My blog
sir4ur0n/property-based-testing-talk-support
Live coding support of my "Property tests: Write fewer tests, find more bugs" talk.
sir4ur0n/centered-cursor-mode.el
An emacs minor mode for smooth scrolling
sir4ur0n/code-compass
A set of code analyses that assist you in tackling software complexity
sir4ur0n/flycheck-haskell
Improved Haskell support for Flycheck
sir4ur0n/ghc.nix
Nix (shell) expression for working on GHC
sir4ur0n/github-webhooks
Haskell types and instances for decoding GitHub webhook payloads.
sir4ur0n/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
sir4ur0n/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
sir4ur0n/hls-bug-conflicting-definitions
A dummy repo to showcase an Haskell Language Server bug
sir4ur0n/hls-bug-preprocessor
A dummy repo to showcase an Haskell Language Server bug
sir4ur0n/hls-nix-test
Nix derivations for hasekll-language-server
sir4ur0n/hw-kafka-client
Kafka client for Haskell, including auto-rebalancing consumers
sir4ur0n/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
sir4ur0n/katip
A structured logging framework for Haskell
sir4ur0n/locuszoom
A Javascript/d3 embeddable plugin for interactively visualizing statistical genetic data from customizable sources.
sir4ur0n/lsp-haskell
lsp-mode :heart: haskell
sir4ur0n/nixpkgs
Nix Packages collection
sir4ur0n/ppx_inline_test
Syntax extension for writing in-line tests in ocaml code
sir4ur0n/pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
sir4ur0n/preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
sir4ur0n/qcheck
QuickCheck inspired property-based testing for OCaml.
sir4ur0n/run-nix-shell
GitHub action for executing scripts via nix-shell.
sir4ur0n/servant-purescript
Translate servant API to purescript code, with the help of purescript-bridge.
sir4ur0n/servant-swagger-ui
Provide embedded swagger UI for servant and swagger
sir4ur0n/sir4ur0n.github.io
Repo containing the built website https://sir4ur0n.github.io/ Sources and issues are at https://github.com/Sir4ur0n/blog
sir4ur0n/spaceline
Powerline theme from Spacemacs
sir4ur0n/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
sir4ur0n/tezos-nix
nix-shell setup for working on Tezos
sir4ur0n/vavr
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.