Deep Learning Researcher
-
Juelich Supercomputing Center (JSC), Forschungszentrum Jülich GmbH, LAION
- Germany
- https://mehdidc.github.io
- @mehdidc
Block or Report
Block or report mehdidc
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Coq
All languages
ANTLR
ActionScript
Assembly
Bikeshed
C
C#
C++
CMake
CSS
Clojure
CoffeeScript
Common Lisp
Common Workflow Language
Coq
Cuda
Cython
D
Dart
Dockerfile
Emacs Lisp
Erlang
Forth
Fortran
FreeMarker
GLSL
Go
HTML
Haskell
Java
JavaScript
Jinja
Julia
Jupyter Notebook
Kotlin
LLVM
Lua
MATLAB
MDX
Makefile
Mako
Markdown
Mathematica
NASL
NewLisp
Nim
OCaml
PHP
Perl
PostScript
PowerShell
Protocol Buffer
Pug
Python
R
Reason
Roff
Ruby
Rust
SCSS
Scala
Scheme
Shell
Slash
Svelte
Swift
SystemVerilog
TeX
TypeScript
Vala
Vim Script
Vue
reStructuredText
Nothing to show
Sort by: Most stars
1
star
written in Coq
Clear filter
An axiom-free formalization of category theory in Coq for personal study and practical work