Giters
Mathijs Baaijens (mathijsb)

mathijsb

Geek Repo

11

followers

2

following

4

stars

Location:Utrecht, Netherlands

Home Page:http://www.mathijsbaaijens.nl

Github PK Tool:Github PK Tool

Organizations
edgeimpulse

Mathijs Baaijens's repositories

generic-in-agda

Language:AgdaLicense:MITStargazers:3Issues:2Issues:0

afp-ants

Language:HaskellStargazers:0Issues:3Issues:0

agda-graphql

Agda meets GraphQL

Language:AgdaStargazers:0Issues:0Issues:0

apa-1

dataflow and abstract interpretation

Language:HaskellStargazers:0Issues:2Issues:0

bkks

Language:HTMLStargazers:0Issues:0Issues:0

code-scanning-test

Language:JavaScriptStargazers:0Issues:1Issues:0

gatsby-starter-hello-world

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

mdm

Language:RStargazers:0Issues:0Issues:0

tpt-verified-compiler

Language:TeXStargazers:0Issues:2Issues:0

netlify-cms

A CMS for Static Site Generators

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

simple-haskell-compiler

Stargazers:0Issues:1Issues:0

tf

Stargazers:0Issues:0Issues:0