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/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/awsm.fish
A curation of prompts, plugins & other Fish treasures 🐚💎
paldepind/book
The Rust Programming Language
paldepind/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
paldepind/codeql-action
Actions for running CodeQL analysis
paldepind/codeql-zero-to-hero
CodeQL zero to hero blog post series challenges
paldepind/codeql.nvim
CodeQL plugin for Neovim
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/mrva-controller
paldepind/perennial
Verifying concurrent crash-safe systems
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