sakehl Goto Github PK
Name: Lars - he/him
Type: User
Company: PhD @ TUe
Location: Utrecht
Blog: lvandenhaak.nl
Name: Lars - he/him
Type: User
Company: PhD @ TUe
Location: Utrecht
Blog: lvandenhaak.nl
Embedded language for high-performance array computations
FFT library for Haskell based on the embedded array language Accelerate
LLVM backend for Accelerate
Python AST read/write
C Bounded Model Checker
Ready-to-run Docker images containing Jupyter applications
Experimental infrastructure for the paper "Incremental Flattening for Nested Data Parallelism" at PPOPP'19.
:symbols: A collection of GitHub issue and pull request templates
A GPU Bisimulation algorithm
a language for fast, portable data-parallel computation
Kernel Tuner
MSc and PhD thesis template for the Software Technology group at Universiteit Utrecht
Haskell bindings for LLVM
The OpenCL Community Specification
Facility to automatically run mypy on Jupyter notebook cells as they are executed.
Case study of Padre with HaliVer
Page rank project for Programeren in de Wiskunde
CLI tool for managing Git repositories on GitHub and GitLab in the context of education
Implementing the gridding algorithm from the SKA Science Data proccessor in accelerate, a domain specific language for high performance computing embedded in Haskell.
Optimising data-parallel programs for SIMD architectures via program transformation
The VerCors verification toolset for verifying parallel and concurrent software
Pong in multiple programming langauges
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.