decb

Pinned Repositories

granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Language:Haskell1 0 00
polynomial-guesser
guesses polynomials
Language:Haskell00
prime-certify
provably-prime numbers
Language:Haskell0 1 00
resize
content-aware image resizing
Language:Haskell0 1 00
stlc-py
the simply typed λ-calculus in Python
Language:Python00
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Language:Haskell590 32 14935
granule-vscode-extension
VSCode extension for Granule
Language:TypeScript2 5 01

decb's Repositories

decb/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Language:Haskell1 0 00
decb/polynomial-guesser
guesses polynomials
Language:Haskell00
decb/prime-certify
provably-prime numbers
Language:Haskell0 1 00
decb/resize
content-aware image resizing
Language:Haskell0 1 00
decb/stlc-py
the simply typed λ-calculus in Python
Language:Python00