firewall2142 Goto Github PK
Name: Ashish Barnawal
Type: User
Company: Indian Institute of Technology Guwahati
Bio: Maths & Computing B.Tech. at IIT Guwahati, India
Location: Guwahati, India
Name: Ashish Barnawal
Type: User
Company: Indian Institute of Technology Guwahati
Bio: Maths & Computing B.Tech. at IIT Guwahati, India
Location: Guwahati, India
Modified version of arith_fermat available at Deducteam/Logipedia
Implementation of the λΠ-calculus modulo rewriting
Adds polymorphism to dedukti terms
Free Lambda Eliminator for Dedukti
first project on github
Search errors, warnings or anything on stackoverflow inside emacs!
🚀✨ Help beginners to contribute to open source projects
Repository for scripts/programs for IITG internet authentication
Proof assistant based on the λΠ-calculus modulo rewriting
Resources for the study group in IIT Guwahati focused on learning Artificial Intelligence.
An encyclopedia of proofs
Problems and my submissions for MA323 : Monte Carlo lab done in 2020 July-Nov semester
Project for the course MA691: Advanced Statistical Algorithms
A maze generator using Recursive Backtracking Algorithm
An autonomous balloon popping robotic arm
Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
thenewboston, Bucky's django tutorial
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.