mateuszbujalski

Pinned Repositories

composite
Integrations with Vinyl/Frames records.
Language:Haskell5 2 13
FStar
A Proof-oriented Programming Language
Language:F*2.7k 79 2k232
crime-report
Language:Haskell5 1 04
composite
Integrations with Vinyl/Frames records.
Language:Haskell0 0 00
crime-report
Language:Haskell00
FStar
Verification system for effectful programs
Language:F*0 0 00
fstar_presentation
Language:F*0 1 00
jsonstar
JSON Serialization library for F*
Language:F*1 1 00
purescript-milkis
A Purescript library for working with fetch for HTTP requests
Language:PureScript0 0 00
vscode-fstar-lsp
F* lsp client for vs code
00

mateuszbujalski's Repositories

mateuszbujalski/jsonstar
JSON Serialization library for F*
Language:F*1 1 00
mateuszbujalski/composite
Integrations with Vinyl/Frames records.
Language:Haskell0 0 00
mateuszbujalski/crime-report
Language:Haskell00
mateuszbujalski/FStar
Verification system for effectful programs
Language:F*0 0 00
mateuszbujalski/fstar_presentation
Language:F*0 1 00
mateuszbujalski/purescript-milkis
A Purescript library for working with fetch for HTTP requests
Language:PureScript0 0 00
mateuszbujalski/vscode-fstar-lsp
F* lsp client for vs code
00