Stars
being an attempt to express dependently typed data models
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Code from Learn You A Haskell book: http://learnyouahaskell.com/
Replace all occurences of a word from all files in the current directory and below