Pinned Repositories
decimal
funcy
Some TypeScript utilities for working with lazy values as represented by a simple function
marker
A small utility for marking objects and recognize them later
matches
A TypeScript library for typesafe deep object comparison
utility-types
A collection of very useful TypeScript type declarations
when
A TypeScript function for conditional control flow
RWalkling's Repositories
RWalkling/utility-types
A collection of very useful TypeScript type declarations
RWalkling/when
A TypeScript function for conditional control flow
RWalkling/decimal
RWalkling/funcy
Some TypeScript utilities for working with lazy values as represented by a simple function
RWalkling/marker
A small utility for marking objects and recognize them later
RWalkling/matches
A TypeScript library for typesafe deep object comparison
RWalkling/react-dfa
A React library implementing deterministic finite automata
RWalkling/Social-Choice-Theory
A formalization of (Social-) Choice Theory in the proof assistant Isabelle/HOL