amaurremi

Aarhus, Denmark

Pinned Repositories

Algorithms
Assignments for Coursera's algorithms course by R. Sedgewick, Princeton University
Language:Java01
Authenticator
Timed TFA for iOS
Language:Swift00
aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
Language:C#00
Cogra
Demonstrationg homogeneous coordinates transformations for a computer graphics
Language:Java1 2 00
correlated
Improving precision of data-flow analysis in the presence of correlated method calls
Language:Java10
dot-calculus
Adding extensions to DOT calculus
Language:HTML23 8 08
dot-plt-redex
Formalizing DOT calculus (and extensions) in PLT Redex
Language:Racket10
IDE
Interprocedural Distributive Environment algorithm implementation
Language:Scala16 3 03
leroy-compiler-dafny
Implementing Xavier Leroy's toy compiler presented at DSSS'17 in Dafny
Language:Dafny10
stringoid
Retrieving URLs from APK files
Language:Scala60

amaurremi's Repositories

amaurremi/dot-calculus
Adding extensions to DOT calculus
Language:HTML23 8 08
amaurremi/IDE
Interprocedural Distributive Environment algorithm implementation
Language:Scala16 3 03
amaurremi/stringoid
Retrieving URLs from APK files
Language:Scala60
amaurremi/Cogra
Demonstrationg homogeneous coordinates transformations for a computer graphics
Language:Java1 2 00
amaurremi/correlated
Improving precision of data-flow analysis in the presence of correlated method calls
Language:Java10
amaurremi/dot-plt-redex
Formalizing DOT calculus (and extensions) in PLT Redex
Language:Racket10
amaurremi/leroy-compiler-dafny
Implementing Xavier Leroy's toy compiler presented at DSSS'17 in Dafny
Language:Dafny10
amaurremi/Algorithms
Assignments for Coursera's algorithms course by R. Sedgewick, Princeton University
Language:Java01
amaurremi/Authenticator
Timed TFA for iOS
Language:Swift00
amaurremi/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
Language:C#00
amaurremi/boogie
Boogie
Language:C#1 0
amaurremi/Compily
Compiler from imaginary language into Java written in Haskell
Language:Java1 0
amaurremi/concordium-smart-contracts
Smart contract examples for Concordium blockchain
Language:Rust
amaurremi/correlated-paper
Correlated-calls paper draft
Language:TeX
amaurremi/Course-projects
Papers for University of Waterloo graduate courses
Language:Java1
amaurremi/dafny
Dafny is a verification-aware programming language
Language:C#1 0
amaurremi/dafny-examples
Motivating examples for functional extensionality in Dafny
amaurremi/dafny-vscode
Dafny support for Visual Studio Code
amaurremi/darts-ecoop-authors
Template for descriptions of ECOOP 2018 artifacts
Language:TeX2 0
amaurremi/freeotp-android
Timed TFA for Android
Language:Java
amaurremi/ide-vscode
VSCode IDE Integration for Dafny
amaurremi/L-System
Lindenmayer systems generator and visualizer
Language:Haskell
amaurremi/ownership-types
Implementation of a language with owners-as-dominators from the original paper
Language:Haskell
amaurremi/planook
A weekly recipe and shopping list creator
Language:HTML3 0
amaurremi/Podstrochnik
English subtitles for Oleg Dorman's documentary "Word for Word Translation"
amaurremi/rust
Empowering everyone to build reliable and efficient software.
Language:Rust1 0
amaurremi/Signal-iOS
A private messenger for iOS.
amaurremi/spotify-cli-mac
🎶 A nodejs app to control Spotify without leaving your terminal. 🎶
amaurremi/tapl
Implementing Exercises from Types & Programming Languages
Language:Haskell2 0
amaurremi/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research