jakzale

dotfiles-old

My dot files

monadic-party-2018-samples

tiny-lang

blazor-docs

Public Documentation for Telerik UI for Blazor

blog

My Blog

DisassemblerSamples

Some small samples to run monodis on.

dotfiles

My dotfiles

equinox

.NET Event Sourcing library with EventStore, CosmosDb and integration testing backends. Focused at stream level; see https://github.com/jet/propulsion for projection and/or cross-stream facilities

fsharpworkshop

F# Workshop

haskell-hackerrank

Solutions to HackerRank problems in Haskell

haskell-language-server

Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

haskell-language-server-bin

A PKGBUILD file for Arch Linux AUR packages

hls-issue-repro

Replicate a hls-issue

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

homebrew-emacsmacport

Emacs mac port formulae for the Homebrew package manager

homebrew-functions

Homebrew formula for azure functions core tools

ionide-vscode-fsharp

VS Code plugin for F# development

LearningFSharp

A small repo on learning/teaching F#

nightfall

projectile

Project Interaction Library for Emacs

raco-pkg-new-sample

Raco pkg new sample

rust-advent-of-code

Advent of Code in Rust

rust-plc-cek

CEK Machine in Rust

rust-simple-cek

A simple CEK machine in Rust

steelseries-arctis-5-pulseaudio-profile

Pulseaudio profile for SteelSeries Arctis 5

swiper

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!

systemd-namespace

A simple utility tool for wsl

XTeamCodeSample

Code Sample for X-Team

XTeamDebuggingSample

Debugging sample for XTeam

zinc

Zinc Framework: the ZK circuit programming language and VM