paldepind Goto Github PK

angular-contenteditable

angular model for the "contenteditable" attribute

assets-for-api-docs

Static assets for embedding into docs.flutter.io

async-problem

:twisted_rightwards_arrows: Solutions and non-solutions to JavaScript's async problem

au-dat-org-drills

Org-drills sigtet til Datalogi uddannelsen på Aarhus Universitet

au_ml19

Exercises for machine learning course at Aarhus University 2019

awsm.fish

A curation of prompts, plugins & other Fish treasures 🐚💎

babel-handbook

:blue_book: A guided handbook on how to use Babel and how to create plugins for Babel.

baidu-hhvm-301

behavior-comonad

blog

My programming related blog

book

The Rust Programming Language

cask

Project management tool for Emacs

category-theory-notes

cherry-pick

🍒⛏📦 Build tool to generate proxy directories.

composable.el

Composable text editing for Emacs.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

countable

Application for counting everything that's countable.

deepzoom-test

dffptch

A micro library for diffing and patching JSON objects using a compact diff format

dffptch-haskell

A small library for diffing and patching JSON objects using a compact diff format

dnd-scroll

Proper edge scroll when dragging with HTML 5 drag and drop!

domain-theory

doom-emacs

An Emacs configuration for the stubborn martian vimmer

dot-compose

Function composition with dot as a composition operator.

dotfiles

Repository containing my dotfiles.

drift

Drift is an easy to use, reactive, typesafe persistence library for Dart & Flutter.

duck

🦆 Turns a TypeScript file into JSON describing the files exports.

elm-todomvc

Proper implementation of the TodoMVC app

emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming

fake-raf

A fake requestAnimationFrame perfect for unit testing.