COMMUNIUM.AI

jscoq/jscoq

A port of Coq to Javascript -- Run Coq in your Browser

535
TypeScriptOther
coqintegrated-development-environmentjavascriptproof-assistant
View on GitHub
Stars

535

Updated

Nov 21, 2025

Stars Over Time

Top Contributors

HO

hocko333

1 contributions

IC

ICLXL

1 contributions

RA

rami3l

1 contributions

ED

edwinans

1 contributions

BI

bitmaybewise

1 contributions

LA

lafeychine

1 contributions

MI

minalspatil

1 contributions

PA

paquinn

1 contributions

UN

unsoundsystem

1 contributions

TI

tigerneil

1 contributions

WJ

wjc5197

1 contributions

MO

modulovalue

1 contributions

TH

thosakwe

1 contributions

MR

MrHyphoon

1 contributions

HO

hoheinzollern

1 contributions

SE

sebastienPatte

1 contributions

ST

ST-48-1240162

1 contributions

KN

knkrtm

1 contributions

NE

neuroevolutus

1 contributions

PR

prescientmoon

1 contributions

AM

AmitGit217

1 contributions

DR

Dragon-Git

1 contributions

HY

HyunggyuJang

1 contributions

FL

flandrade

1 contributions

GA

gabriel-fallen

1 contributions

EB

ebigram

1 contributions

SC

ScarboroughCoral

1 contributions

AN

antonkov

1 contributions

XI

xielihan

1 contributions

YC

ychtao

1 contributions

CO

constraintAutomaton

1 contributions

HI

himito

1 contributions

FL

FlyteWizard

1 contributions

RI

RiccardoBiosas

1 contributions

13

13thptr

1 contributions

IW

iwashiranui

1 contributions

SM

smalltalkman

1 contributions

PO

poggingfish

1 contributions

RA

rawleyfowler

1 contributions

JM

jmanuel1

1 contributions

RA

raoxiaojia

1 contributions

SP

spacemiqote

1 contributions

LI

LimitEpsilon

1 contributions

CA

CAIMEOX

1 contributions

PR

pricesmith

1 contributions

SH

shpark

1 contributions

HU

huangjunwen

1 contributions

MA

madnight

1 contributions

PR

Prki42

1 contributions

MA

marijnvanwezel

1 contributions

BO

bowendeng

1 contributions

XX

XXXMrG

1 contributions

CO

cohjo

1 contributions

JM

jmikedupont2

1 contributions

LI

LizzyFleckenstein03

1 contributions

DA

damhiya

1 contributions

BG

bglgwyng

1 contributions

KE

kermanx

1 contributions

SK

skylee03

1 contributions

CH

chenjulang

1 contributions

FI

fictitious

1 contributions

IO

ioda-idg

1 contributions

JO

joelvaneenwyk

1 contributions

AK

akitana-airtanker

1 contributions

AD

adnahmed

1 contributions

CH

CharlesAverill

1 contributions

D-

d-led

1 contributions

R4

r4ai

1 contributions

JO

joewatt95

1 contributions

ST

start974

1 contributions

SO

sogaiu

1 contributions

Y5

y5c4l3

1 contributions

ID

idimetrix

1 contributions

AZ

aziis98

1 contributions

AB

abap34

1 contributions

CH

chamomile93

1 contributions

KI

kirandark

1 contributions

RI

RitaAhmadi

1 contributions

CH

CheeseTurtle

1 contributions

CX

CxBug

1 contributions

0X

0x73970

1 contributions

NA

nancyliuyang

1 contributions

JO

joanmontas

1 contributions

DA

Daylyt247

1 contributions

EW

ewdlop

1 contributions

NW

NWMonster

1 contributions

FR

FractalMind-M

1 contributions

TI

tiamd3

1 contributions

KA

kamalfarahani

1 contributions

TH

thinhori03

1 contributions

GR

Gravifer

1 contributions

HE

helguo

1 contributions

PI

pineappleiceberg

1 contributions

MU

Muhammad313a

1 contributions

TU

TurkeyBilly

1 contributions

FF

FFTYYY

1 contributions

TR

trochdewei

1 contributions

DK

dkapt

1 contributions

BA

bayramarslan

1 contributions

KE

Kelsey050218

1 contributions

Related Repositories

mWater/minimongo

1,211 stars

elastic/kibana

20,817 stars

dalelotts/angular-bootstrap-datetimepicker

1,278 stars

Track developers from jscoq/jscoq

Join 1,000+ companies finding quality developer leads