olaberglund's Stars
brookhong/Surfingkeys
Map your keys for web surfing, expand your browser with javascript and keyboard.
iamcco/markdown-preview.nvim
markdown preview plugin for (neo)vim
MercuryTechnologies/ghciwatch
Load a GHCi session for a Haskell project and reload it when source files change
srid/haskell-template
Haskell project template using Nix + Flakes + VSCode (HLS)
folke/tokyonight.nvim
🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.
haskell-servant/servant
Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
chrisdone/lucid
Clear to write, read and edit DSL for writing HTML
mrkkrp/req
An HTTP client library
bupticybee/TexasSolver
🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:
lsmor/snake-fury
a challenge for Haskell beginners
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
purescript/purescript
A strongly-typed language that compiles to JavaScript
i-am-tom/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
thomashoneyman/purescript-halogen-formless
Forms for Halogen
thomashoneyman/purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
svendahlstrand/ica-api
👛 Inofficiell dokumentation över det API som backar appen ICA.
lakrestofer/spaced-rs
A small library written in rust implementing a sm2 inspired SR algorithm