bollu Goto Github PK
Name: Siddharth
Type: User
Company: University of Cambridge
Bio: mathematics ⋂ computation
Location: Cambridge
Blog: pixel-druid.com
Name: Siddharth
Type: User
Company: University of Cambridge
Bio: mathematics ⋂ computation
Location: Cambridge
Blog: pixel-druid.com
A personal fork of the Polly-LLVM project
Collection of code that deals with fortran arrays, and what the Dragonegg generated code looks like
An experimental value profiling library for LLVM/Polly
PolyBench/C from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
Polybench HS
A semantics for the types of loops that can be modelled by polyhedral compilation techniques, developed in Coq.
PolyMage is a domain-specific language and optimizing code generator for auto-parallelisation
Base code and optimized code for the benchmarks used in the PolyMage paper published at ASPLOS 2015
A fork of the original PPCG with debug code: http://repo.or.cz/w/ppcg.git
A PSP emulator for Android, Windows, Mac, Linux and Blackberry 10, written in C++. Want to contribute? Join us in #ppsspp on EFnet (IRC) or just send pull requests / issues.
Help for ppsspp
Formal proof of a presburger abstract domain on a SSA language
A modern, extensible and well-documented prettyprinter.
quchen's prettyprinter library, stolen and stripped of other code for GHC.
procedurally generated 2d shooter
A formalisation of propogators as ekmett speaks about them on the livestream: https://www.twitch.tv/ekmett
A crossplatform ProTracker clone with an Impulse Tracker-style interface
:pick: static analysis of free monads
CTF framework and exploit development library
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
Quite Obfuscated Constructions
Datatypes as quotients of polynomial functors
Quantitative Type Theory implementation
Solutions to coursework in Q#
Quick and easy data visualizations with Haskell
Intuitive, type-safe expression quotations for Lean 4.
Rust Code Completion utility
bollu learns how to write a software rasterizer
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.