anotherarka Goto Github PK
Name: Arka Ghosh
Type: User
Bio: PhD student in Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
Arka Ghosh's Projects
compiler-and-etc
Trying to build a compiler in Haskell
first-order-logic-in-idris
Trying to formalize first order logic in Idris
girard-and-burali-forti
A try to prove Girard's paradox in idris
happy
The Happy parser generator for Haskell
homotopical-topology-assignments
Assignments for the homotopical topology course offered by Prof. Pranav Pandit, ICTS. Arka Ghosh, Srikanth B Pai, Bhanu Kiran S, Prokash K Kundu are participants
idris-algebra
Formalization of algebra in Idris
idris-number-theory
Elementary number theory written in Idris.
lambda-calculus-interpreter
lattices-in-idris
Trying to prove Knaster-Tarski theorem in Idris
lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
lts2019
Web page, code for "Logic, Types Spaces 2019" at IISc
presentations
Just learning to use Git Hub
superficial
Curves and other structures on surfaces (topology)
webinar-notes
Repository of handwritten notes taken during webinars/seminars
webpage
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.