About
Quickk repo for verification project
Languages
Language:Tcl 42.0%Language:C++ 17.8%Language:C 16.7%Language:HTML 10.9%Language:LLVM 3.7%Language:Makefile 2.0%Language:Shell 1.6%Language:CMake 1.2%Language:M 0.7%Language:Perl 6 0.4%Language:Mathematica 0.4%Language:TeX 0.4%Language:Eiffel 0.3%Language:OpenEdge ABL 0.3%Language:JavaScript 0.2%Language:Python 0.2%Language:Nix 0.2%Language:Jupyter Notebook 0.2%Language:Yacc 0.2%Language:Haskell 0.1%Language:Pascal 0.1%Language:CSS 0.1%Language:Java 0.1%Language:Groff 0.1%Language:DTrace 0.1%Language:PostScript 0.0%Language:Perl 0.0%Language:Mercury 0.0%Language:Batchfile 0.0%Language:M4 0.0%Language:Vim Script 0.0%Language:Objective-C 0.0%Language:Lex 0.0%Language:Limbo 0.0%