amaurremi Goto Github PK
Name: Marianna Rapoport
Type: User
Location: Aarhus, Denmark
Blog: http://mrapoport.com
Name: Marianna Rapoport
Type: User
Location: Aarhus, Denmark
Blog: http://mrapoport.com
Assignments for Coursera's algorithms course by R. Sedgewick, Princeton University
Timed TFA for iOS
AWS Encryption SDK for Dafny
Boogie
Demonstrationg homogeneous coordinates transformations for a computer graphics
Compiler from imaginary language into Java written in Haskell
Smart contract examples for Concordium blockchain
Improving precision of data-flow analysis in the presence of correlated method calls
Correlated-calls paper draft
Papers for University of Waterloo graduate courses
Dafny is a verification-aware programming language
Motivating examples for functional extensionality in Dafny
Dafny support for Visual Studio Code
Template for descriptions of ECOOP 2018 artifacts
Adding extensions to DOT calculus
Formalizing DOT calculus (and extensions) in PLT Redex
Timed TFA for Android
Haskell through classic UNIX commands.
Interprocedural Distributive Environment algorithm implementation
VSCode IDE Integration for Dafny
Lindenmayer systems generator and visualizer
Implementing Xavier Leroy's toy compiler presented at DSSS'17 in Dafny
Implementation of a language with owners-as-dominators from the original paper
A weekly recipe and shopping list creator
English subtitles for Oleg Dorman's documentary "Word for Word Translation"
Empowering everyone to build reliable and efficient software.
A private messenger for iOS.
🎶 A nodejs app to control Spotify without leaving your terminal. 🎶
Retrieving URLs from APK files
Implementing Exercises from Types & Programming Languages
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.