igorerin Goto Github PK
Name: IgorErin
Type: User
Name: IgorErin
Type: User
Papers sources, pictures, presentations, and other stuff
F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
A supplementary Coq workout repository
Tasks from EOPL
Supplementary repository for Spring School on System Software-2024
Static analysis for the Game Maker Language.
GraphBLAS implementation in F#+OpenCL
Examples of Halide language algorithms running on RISC-V
Compare `hvm-core`'s historical performance
F# Template for creating and publishing libraries targeting .NET 6.0 `net6.0` or console apps .NET 6.0 `net6.0`.
Pattern matrix multiplier tool
Helper scripts for setting an Angstrom development environment
A template for spbu Kotlin course
Benchmark for sparse linear algebra libraries for CPU and GPU platforms.
An attempt to specialize relational programs by arguments with a finite domain.
SystemVerilog language-oriented exercises
TAPL
Tiger compiler
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.