CS Assistant Professor at IIT Gandhinagar
-
IIT Gandhinagar
- Gandhinagar
- https://nipunbatra.github.io/
- @nipun_batra
Highlights
- Pro
Block or Report
Block or report nipunbatra
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language: Lean
All languages
AGS Script
ActionScript
Assembly
Batchfile
Bicep
C
C#
C++
CSS
Clojure
Cuda
Cython
D
Dart
Eagle
Earthly
Emacs Lisp
Fortran
Go
Groovy
HTML
Hack
Haskell
Java
JavaScript
Julia
Jupyter Notebook
Kotlin
Lean
Less
Lua
MATLAB
Makefile
Markdown
OCaml
Objective-C
Objective-C++
OpenEdge ABL
PHP
Perl
Pony
PostScript
PowerShell
Processing
Pug
Python
R
Racket
Reason
Ruby
Rust
SCSS
Scala
Scheme
Shell
Stan
Svelte
Swift
TSQL
TeX
Terra
TypeScript
Typst
VBA
Vala
Vim Script
Visual Basic .NET
Vue
Web Ontology Language
nesC
reStructuredText
Nothing to show
Sort by: Most stars
1
star
written in Lean
Clear filter
Bug-free machine learning on stochastic computation graphs