draperlaboratory

Languages

16 total

Language	Repos	Stars	Global	Country	Locality
all	47	753	59,419	9,169	105
C++	5	400	5,704	732	15
OCaml	3	148	272	43	1
Groff	1	125	10	5	1
C	13	34	26,628	3,420	45
JavaScript	3	14	173,775	25,450	164
Haskell	4	13	3,514	668	16
Python	5	4	475,565	56,243	781
Shell	1	4	91,338	13,117	84
Lean	1	4	301	56	2
Java	1	4	227,166	18,763	125
Coq	1	3	711	120	4
Makefile	1	0	-	-	-
CMake	1	0	-	-	-
C#	3	0	-	-	-
unknown	3	0	-	-	-
HTML	1	0	-	-	-

Repos

47 total

	Repo	Language	Stars	Rank
$draperlaboratory/fracture on Github$	fracture	C++	380	6,144
	llvm-cbe	Groff	125	10
	cbat_tools	OCaml	99	379
	VIBES	OCaml	45	796
	hope-RIPE	C	28	37,025
	VaderModularFuzzer	C++	14	81,344
	user-ale	JavaScript	13	235,018
	cspgen	Haskell	10	6,724
	cozy	C++	5	160,442
	cage-koat	OCaml	4	5,922

Badges

Get your badge to use on GitHub or websites using the code below

Global Country Locality

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/draperlaboratory"><img alt="Check out draperlaboratory's profile on stardev.io" src="https://stardev.io/developers/draperlaboratory/badge/languages/global.svg" /></a>

Preview

Country

Displays country rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/draperlaboratory"><img alt="Check out draperlaboratory's profile on stardev.io" src="https://stardev.io/developers/draperlaboratory/badge/languages/country.svg" /></a>

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/draperlaboratory"><img alt="Check out draperlaboratory's profile on stardev.io" src="https://stardev.io/developers/draperlaboratory/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-25T00:04:31.619271597Z Re-sync