Kazark
In imitation, creating through language. Linux, Emacs, type theory, functional programming, metaprogramming, compilers, build systems, language design.
Undisclosed
Pinned Repositories
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
timeline
A timeline of (Western) church history
vim-http-client
Do you use POSTman or RESTClient for hitting HTTP APIs? What about doing it from Vim instead of your browser?
vim-linqpad
Evaluate C# expressions or execute C# statements from within Vim
vim-SimpleSmoothScroll
A small, simple plugin to make the scroll action for C^D and C^U smoother
VsVim
Vim Emulator Plugin for Visual Studio 2010+
pyrgos
A tower of languages/a collection of toy languages
Kazark's Repositories
Kazark/vim-SimpleSmoothScroll
A small, simple plugin to make the scroll action for C^D and C^U smoother
Kazark/timeline
A timeline of (Western) church history
Kazark/effsharp
ZIO-like monad for F# that permits pure interpretations of effects
Kazark/lc.idr
Attempt at implementing lambda calculus in Idris
Kazark/prolorg
A constraint language for Org Mode properties (Prolog + Org)
Kazark/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Kazark/cats
Lightweight, modular, and extensible library for functional programming.
Kazark/doobie
Functional JDBC layer for Scala.
Kazark/dotty
Research compiler that will become Scala 3
Kazark/emacs-fsharp-mode
F# Emacs mode
Kazark/emacs-sbt-mode
An emacs mode for interacting with scala sbt and projects
Kazark/emacs-scala-mode
The definitive scala-mode for emacs
Kazark/epimetheus
An Afterthought of Prometheus
Kazark/fspp
A sort of F# preprocessor hack
Kazark/katasemeion
A markdown-inspired markup language for formatting Biblical texts
Kazark/lightandlight.github.io
Personal GitHub Pages site
Kazark/mules
Caches are tricky - Let Mules Haul its Weight.
Kazark/munit
Scala testing library with actionable errors and extensible APIs
Kazark/notiv8tr
Motivate yourself by noting progress on your projects
Kazark/org-appear
Toggle visibility of hidden Org mode element parts upon entering and leaving an element
Kazark/org-present
Ultra-minimalist presentation minor-mode for Emacs org-mode.
Kazark/pre-commit-scalafmt
Scalafmt hook for pre-commit
Kazark/record5
Just a little Haskell exercise
Kazark/rediculous
REmote DIctionary Client, that's hysterical.
Kazark/reverse
Help a musician fit a tune to a non-metrical text
Kazark/tree-scala3
Exercises in Scala 3 on different branches
Kazark/typescript-playground
Kazark/unsafe-code-guidelines
Home for the Unsafe Code Guidelines working group.
Kazark/vim-leading-not-control
Leading is the answer, not control. Make Vim more ergonomic by avoiding the control key.
Kazark/yasnippet-snippets
a collection of yasnippet snippets for many languages