sourcedennis Goto Github PK
Name: Dennis
Type: User
Company: @tudelft-pl
Bio: PhD student in Programming Languages. I like performance and correctness.
Blog: dennis.life
Name: Dennis
Type: User
Company: @tudelft-pl
Bio: PhD student in Programming Languages. I like performance and correctness.
Blog: dennis.life
Binary relations library written in Agda
A tutorial on running Z3 on AWS Lambda, with Rust
A Blender Add-on that scales a mesh to fit within the origin-centered unit cube
Constructive Galois connections
Small Docker images containing Agda
TSO Weak Memory Benchmark Programs
Data structures for explicitly constructed equivalence relations.
Several general graph algorithms I frequently use
Data containers where every element has a unique identifier.
Compact and efficient data structure for sparse byte vectors in Haskell.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A superoptimizer for 2-bit truth tables, using bitvector arithmetic.
An interactive demo that renders a non-Euclidean 2D grid
Hides a message in the least-significant-bit of a PNG image's color channels
A Rust library which optimally solves Twenty-Four sliding puzzles. (IDA* with pattern DBs)
A WebAssembly API written in Rascal MPL. Computing Science BSc project at RuG (2018).
Some datastructures missing from the stdlib and existing libraries. With benchmarks.
Isolated benchmarks for Rust implementations of algorithms & data-structures, to help me decide on a specific implementation
A partial re-implementation of pi-forall in Rust
A parser for MagicaVoxel's .vox File Format
Assembly files that assemble into very small Hello World programs for several CPU architectures
A simple Sudoku solver, written in Rust
A Python script that generates a colorful voxel city and writes it to a MagicaVoxel .vox file
Pathtracer written in Rust compiled to WebAssembly. University course project.
An (incomplete) WebAssembly superoptimizer. MSc thesis project at UU (2021).
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.