shadow-fox

geniusrise

Geniusrise: Framework for building geniuses

how-to-secure-anything

How to systematically secure anything: a repository about security engineering

snowflake

A repository which contains my current Nix (flake-based) setup!

App_Bank_GUI_v01_PySide_Or_PyQt_Qt_Quick_QML

snort3

Snort++

haskell-dangerous-functions

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

Tatoeba-Challenge

From-0-to-Research-Scientist-resources-guide

Detailed and tailored guide for undergraduate students or anybody want to dig deep into the field of AI with solid foundation.

elegant-emacs

A very minimal but elegant emacs (I think)

monoid.space

Learn pure math with agda :rocket:

LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

lightdm-webkit-theme-osmos

Osmos

up-to-date-real-world-haskell

I'm trying to update the Real World Haskell book

wiwinwlh

What I Wish I Knew When Learning Haskell

prelude

Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.

haskell-symbol-search-cheatsheet

Haskell/GHC symbol search cheatsheet

AlgoXY

Book of Elementary Functional Algorithms and Data structures

xmonad-aloysius

Aloy :heart: XMonad

emacs.d

An Emacs configuration bundle with batteries included

aloy

zsh prompt based on Empress Noodle's Lena

swim

A test suite to make it easier to build Tree Notation libraries in new host langauges

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

awesome_config

config for AwesomeWM

dotfiles

There is no place like ~/

machine-learning-for-software-engineers

A complete daily plan for studying to become a machine learning engineer.

awesome-linguistics

A curated list of anything remotely related to linguistics

gt-nlp-class

Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"

.emacs.d

Centaur Emacs - A Fancy and Fast Emacs Configuration

awesome-tab

Emacs package to provide out-of-the-box configuration to use tabs.