Pinned Repositories
adrcli
asyncresult
codereview
gitignore
Standard VS gitignore
vimtips
Yet another list of VIM tips and tricks
ibsenrune's Repositories
ibsenrune/asyncresult
ibsenrune/gitignore
Standard VS gitignore
ibsenrune/vimtips
Yet another list of VIM tips and tricks
ibsenrune/adrcli
ibsenrune/companionhs
Companion API - revisited in Haskell
ibsenrune/cs50ai
ibsenrune/dotfiles
ibsenrune/DynamicsCRMProvider
A type provider for Microsoft Dynamics CRM 2011.
ibsenrune/FluentFTP
An FTP and FTPS client for .NET & .NET Core, optimized for speed. Provides extensive FTP commands, File uploads/downloads, SSL/TLS connections, Automatic directory listing parsing, File hashing/checksums, File permissions/CHMOD, FTP proxies, UTF-8 support, Async/await support and more. Written entirely in C#, with no external dependencies.
ibsenrune/fsharp-hedgehog
Hedgehog will eat all your bugs.
ibsenrune/fsharp-language-server
ibsenrune/fsharptips
ibsenrune/gitconfig
ibsenrune/hedy
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
ibsenrune/hodata
ibsenrune/HOL
ibsenrune/HOL2
ibsenrune/ibsenrune.github.io
ibsenrune/KaptajnKaper
Source Code of Peter Ole Frederiksens original Danish pirate game
ibsenrune/kendalltau
ibsenrune/liondb
ibsenrune/monads
Monads implemented in F#
ibsenrune/msdockerkata
ibsenrune/node-sonos-http-api
A simple HTTP API for Sonos for easy automation. Hostable on any node.js capable device, like a raspberry pi or similar.
ibsenrune/ParserTemplate
ibsenrune/podata
An OData query parser
ibsenrune/presentations
ibsenrune/retry
ibsenrune/sonosconsole
A command line interface for your Sonos sound system
ibsenrune/vim-lsp-settings
Auto configurations for Language Server for vim-lsp