Skip to content
View nyandrianinamamy's full-sized avatar
💭
Wanna do something great ?
💭
Wanna do something great ?
9 followers · 10 following
  • PhD student at CEA & LIP6
  • île de France

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report nyandrianinamamy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. static-analyzer-stl static-analyzer-stl Public

    A static analyzer based on abstract interpretation for a C-like toy language.

  2. typeur-scala typeur-scala Public

    A type inference system based on simply typed lambda-calculus with let-polymorphism and imperative traits.

    Scala 2

  3. nodejs-microservice nodejs-microservice Public template

    A NodeJS TypeScript Microservice Clean Architecture

    TypeScript

  4. stl-insta/build-collective stl-insta/build-collective Public

    Welcome to the DAAR project. The idea will be to implement an OpenCollective competitor in a decentralized way, on Ethereum. This will have cool side effects, like not be forced to pay for servers.

    Vue