chamikasudusinghe Goto Github PK
Name: Chamika Sudusinghe
Type: User
Twitter: chaamica
Name: Chamika Sudusinghe
Type: User
Twitter: chaamica
ABC: System for Sequential Logic Synthesis and Formal Verification
Run your GitHub Actions locally 🚀
Activiti is a light-weight workflow and Business Process Management (BPM) Platform targeted at business people, developers and system admins. Its core is a super-fast and rock-solid BPMN 2 process engine for Java. It's open-source and distributed under the Apache license. Activiti runs in any Java application, on a server, on a cluster or in the cloud. It integrates perfectly with Spring, it is extremely lightweight and based on simple concepts.
Gradient based Hyperparameter Tuning library in PyTorch
Point clouds represent data points of 3D objects in space. Generating an alpha matte for a camera perspective is an initial step of the 3D reconstruction of an object. Although there are various techniques to generate alpha mattes, one of the main issues is the time consumption due to having a large number of points in a 3D object. Hence utilizing an FPGA to do the required computation for alpha matte generation will drastically reduce the time consumed. In this project, we will compute the 2D points of the camera perspectives of a 3D point cloud. It will significantly improve the speed of the process of 3D reconstruction.
Analytics for APIM
This repo contains the data publisher for Choreo Analytics cloud
WSO2 API Manager portals web UI apps
workflow management
An IoT based sleep apnea disease detection device by EEG classification using ANN.
Async APIs, WebHooks, WebSubs
This repo will contain the trigger source code generated through ballerina async api tool
BioASQ organizes challenges on biomedical semantic indexing and question answering (QA). The challenges include tasks relevant to hierarchical text classification, machine learning, information retrieval, QA from texts and structured data, multi-document summarization and many other areas.
Code and scripts of BLISS (PLDI' 21)
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
GitHub Tutorial
Reinforcement learning environments for compiler and program optimization tasks
A cost model for compiler performance optimization using deep learning.
The objective of this competition is to introduce Data Science process pipeline with some hands-on experience. The data set used for this competition was collected from the side of the road while vehicles were passing on the road. multiple readings captured from a few sensors are given to you. The objective of the task is to be able to identify the presence [1] or absence [0] of a vehicle on the road based on the sensor readings using Data Science. For you to build a system that can identify the presence of a vehicle on the road we are giving you 2500 data points with the labels 1 to indicate the presence and 0 to indicate the absence of a vehicle.
DeepHyper: Scalable Asynchronous Neural Architecture and Hyperparameter Search for Deep Neural Networks
Python package built to ease deep learning on graph, on top of existing DL frameworks.
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.