Pinned Repositories
hareactive
Purely functional reactive programming library
list
🐆 An immutable list with unmatched performance and a comprehensive functional API.
turbine
Purely functional frontend framework for building web applications
dffptch
A micro library for diffing and patching JSON objects using a compact diff format
flyd
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
functional-frontend-architecture
A functional frontend framework.
projectdo
Context-aware single-letter project commands to speed up your terminal workflow.
synceddb
Makes it easy to write offline-first applications with realtime syncing and server side persistence.
union-type
A small JavaScript library for defining and using union types.
snabbdom
A virtual DOM library with focus on simplicity, modularity, powerful features and performance.
paldepind's Repositories
paldepind/flyd
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
paldepind/functional-frontend-architecture
A functional frontend framework.
paldepind/union-type
A small JavaScript library for defining and using union types.
paldepind/composable.el
Composable text editing for Emacs.
paldepind/projectdo
Context-aware single-letter project commands to speed up your terminal workflow.
paldepind/finger-tree
Highly optimized implementation of finger trees in JavaScript
paldepind/category-theory-notes
paldepind/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
paldepind/domain-theory
paldepind/dotfiles
Repository containing my dotfiles.
paldepind/paldepind.github.io
paldepind/ramda
:ram: Practical functional Javascript
paldepind/react-native-chainable-stylesheet
paldepind/assets-for-api-docs
Static assets for embedding into docs.flutter.io
paldepind/Au_ml19
Exercises for machine learning course at Aarhus University 2019
paldepind/awsm.fish
A curation of prompts, plugins & other Fish treasures 🐚💎
paldepind/book
The Rust Programming Language
paldepind/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.
paldepind/doom-emacs
An Emacs configuration for the stubborn martian vimmer
paldepind/drift
Drift is an easy to use, reactive, typesafe persistence library for Dart & Flutter.
paldepind/flutter
Flutter makes it easy and fast to build beautiful apps for mobile and beyond
paldepind/homebrew-tap
Homebrew formulaes
paldepind/iris-named-props
Named Props for Iris
paldepind/iris-project
paldepind/iris-simp-lang
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
paldepind/perennial
Verifying concurrent crash-safe systems
paldepind/polybar-browsermediacontrol
Browser Media Control module for Polybar
paldepind/purescript-refs
Mutable value references
paldepind/smartcolumn.nvim
A Neovim plugin hiding your colorcolumn when unneeded.
paldepind/unicode-latex
A visual studio code extension to insert Unicode symbols given LaTeX symbol names