-
2ne1ugly mchi
-
42U issmith
-
520luigi szheng
-
Abil27 ahoussei
-
Aegistov mmorel
-
AlejandroHerreraO aherrera
-
AlexEzzeddine aezzeddi
-
AlphaPiece zwang
-
Andrewmartinez251 andrmart
-
BTCBlade tochen
-
Baldwin90 pbaldwin
-
BassirouRabo brabo-hi
-
Benjaminslakey bslakey
-
Billano eurodrig
-
BimManager kkozlov
-
CameronFredrickson cfredric
-
CarlosFlo123 cflores-
-
CaseySingleton csinglet
-
Chris7Ford chford
-
ChrisRenfrow crenfrow
-
CodeChung hchung
-
Crybyte chrsilva
-
CrypticError achi
-
DStar1 hasmith
-
DanielCordovaV dcordova
-
DarkMagix mweir
-
Dauie rlutt
-
DavidMendelovits dmendelo
-
Dorfnox bpierce
-
EDalSanto edal-san
-
EarthBoundMic mkass
-
ElliotFriedman efriedma
-
EricBucheit ebucheit
-
FINAL-B0SS maljean
-
GaetanJUVIN gaetan
-
Gshfrez thjiang
-
Iridel dhill
-
JCTGY jchiang-
-
JacobPolloreno jpollore
-
JacobSmolii vsmolii
-
JamieDawson jadawson
-
JemWritesCode jcope
-
JibranKalia jkalia
-
JohnnyJumper jtahirov
-
Jothkell jkellehe
-
JuanCasian jcasian
-
Julsy iiliuk
-
KalindiFonda kfonda
-
Kcheung42 kcheung
-
KeefeVandenberg kvandenb
-
KevinTBaker kbaker
-
KirillVNaumov knaumov
-
Klongrich klongric
-
KonstantinBelov kbelov
-
Kwame42 kwame
-
KyleAMcKee kmckee
-
Lcmalagon lmalagon
-
LeoTD ltanenba
-
LevinWeinstein lweinste
-
LightAN21 jtsai
-
Lijun21 lwang
-
LiuVII mfilipch
-
LucyKomarovskikh lkomarov
-
Lunairi mlu
-
Madisem maseidua
-
MagicHatJo jochang
-
Matt-Hurd mhurd
-
MitchelOsb1 mosborne
-
MooseandSquvirrel agardner
-
Mr-Perfection slee
-
MrColour kmira
-
NathanHennigh nhennigh
-
NechaevaS snechaev
-
Nicocollie ncollie
-
NoahCardoza nocardoz
-
NotHawthorne alkozma
-
Obnoxious713 jfleisch
-
Obsaa oabdalha
-
PavelJland patigunt
-
PedroNunezCode pnunez
-
Pierre-Migeon pmigeon
-
PragathiNS pnarayan
-
Prior-Liam lprior
-
RafaelPasos apasos-g
-
Rahisulhaque rhaque
-
Relucin bmontoya
-
RobertWWong rowong
-
Royal-7 abao
-
Rubikhan smaddux
-
S11Kelevra eramirez
-
SLO42 saolivei
-
SeanDarsie sdarsie
-
SebastianKunz skunz
-
Seojun-Park jinpark
-
Sino yolabi
-
SqoonGuad rsmith
-
StrikeAlpha0 msharpe
-
SuperSpyTX jkrause
-
ThomasH88 tholzheu
-
TieConscious mschroed
-
TinfoilPancakes ppatil
-
ToxicNachos pkumar
-
Traezar rsathiad
-
Travmatth tmatthew
-
TylerPrak tprak
-
UniKlo khou
-
Uzziel306 asolis
-
ValeriiaMur vmuradia
-
VladyslavHorbachenko vlahorba
-
WesleyTo wto
-
Wittiest dpearson
-
Yatty1 syamada
-
YoungTran ytran
-
ZacheryFaria zfaria
-
ZackSmith32 zsmith
-
abdulrahmannmohamed amohamed
-
abkoll akoller
-
abylay08 akali
-
acarlson99 acarlson
-
adagiox erintala
-
adiorio6588 adiorio
-
akharrou akharrou
-
akikalia akikalia
-
akinfemi aakin-al
-
alanbarnett abarnett
-
alanbarrett2 albarret
-
alexanderchan-scality achan
-
alexandrelegoff ale-goff
-
alexdrean adrean
-
alexkassil akassil
-
alinacornea alcornea
-
allansalihovic asalihov
-
allenARM amelikia
-
allenc12 callen
-
amandagifford101 agifford
-
amkv akalmyko
-
amnotme lhernand
-
amwangale amwangal
-
anandvardhanmishra amishra
-
andeaseme aphan
-
aneeshnazar anazar
-
anjansse anjansse
-
anmatsuk amatsuk
-
annieholly aho
-
ant-codez achavez
-
anthonykhoa anttran
-
anurag4DSB amittal
-
apuel apuel
-
arnauze amagnan
-
arthur-zhuk azhuk
-
arwn awindham
-
asansyzb asansyzb
-
asarandi asarandi
-
aschnapp aschnapp
-
ashih42 ashih
-
ashwin-ganesh23 aganesh
-
austinwhite awhite
-
autopylot wlin
-
ayip001 ayip
-
barbarj rhallste
-
bgoncharov bogoncha
-
bitsbybrad bvautour
-
blairclair agrodzin
-
blazehalderman bhalderm
-
blee3285 blee
-
bmerrill42 bmerrill
-
boredomdenied bchapman
-
brayanmcz bcastro
-
brianbauer42 bbauer
-
brianbixby bbixby
-
brodieacc bschroed
-
btleafar rtorres-
-
caoyucen ycao
-
carlosbanales cbanales
-
cbg119 cbagdon
-
cdavilarios cdavila
-
ceceliasuh cesuh
-
cjkphd mamateo
-
ckoranec jkertgat
-
cmckelvy42 cmckelvy
-
coconutCDXX cwartell
-
coder-guy22296 cyildiri
-
conanwu777 cwu
-
cookietho minakim
-
coolguycam cdimitro
-
corezip gsolis
-
cpk42 ckrommen
-
crgl cgleason
-
cristianmusic7 cfranco
-
crlucasdias lbeserra
-
cwils cwilson
-
dashagurova dgurova
-
dawag415 iwagner
-
daxwann xwang
-
dayfine dfan
-
derbya aderby
-
devin-baxter debaxter
-
dgaitsgo dgaitsgo
-
dgerard42 dgerard
-
dmontoyain dmontoya
-
donald-stolz dstolz
-
drrosa drosa-ta
-
dsotomay dysotoma
-
dylan-romansky dromansk
-
eagulov eagulov
-
eddie0mohammed medun
-
ekelen ekelen
-
elPandaFriki dperera
-
elidlocke enennige
-
eliotv evanheum
-
eliu42 eliu
-
elloimbrandon brfeltz
-
elopez17 elopez
-
enhsu chsu
-
erikagreen7777 egreen
-
eropaev ieropaie
-
ertw ewilliam
-
eserebry eserebry
-
evb-gh eubotnar
-
evilcat-x seli
-
fakejoshmeier jmeier
-
falzfalzfalz osfally
-
felromo fromo
-
fractalfox01 tvandivi
-
franklinexpress fde-los-
-
fredmurakawa fbueno-m
-
fredsiika fredsiik
-
galacticgargleblaster nkirkby
-
gavinfielder gfielder
-
gddh delin
-
genisis0x maparmar
-
geostran arherrer
-
ghdesfos ghdesfos
-
giacomoguiulfo gguiulfo
-
gitmohamed mohhassa
-
griffin-scott gscott
-
gsailboat gselbo
-
guilhemarcf gcaixeta
-
guoxin-li gli
-
guxa jguleski
-
hahnejo hjo
-
halcyonjuly7 hramirez
-
hank0cean chansen
-
hardtargetmullet anieto
-
hashb kchenna
-
hat thendric
-
havi-b hbhuiyan
-
hderan hderan
-
hectorsvill hvillasa
-
hhaakkimm aabdrakh
-
hirenpateldotdev hirenpat
-
hkalia hkalia
-
hongfu12321 fhong
-
humbamp123 apineda
-
hyj1204 yijhuang
-
ibotnaru ibotnaru
-
indy728 kmurray
-
inheritanceXIV davzheng
-
inserttext tingo
-
iskandartypes ikourkji
-
its-gio gaguirre
-
ivankozlovcodes ikozlov
-
iwithmor iwithmor
-
izcet irhett
-
j-pickett apickett
-
jaaaron jaaaron
-
jacksonwb jbeall
-
jahongOf1 jahong
-
jameswangdr jamwang
-
jaydevnani jdevnani
-
jbirech jobirech
-
jcap93 jcapling
-
jchung05 jchung
-
jding05 sding
-
jeftekhari jeftekha
-
jinzh3ng jizheng
-
jkaplin jkaplin
-
jkimminau jkimmina
-
jnederlo jnederlo
-
joelinfeld jinfeld
-
josecyc jcruz-y-
-
joshgelbard jgelbard
-
joshmocniak jmocniak
-
jraleman jaleman
-
jt-taylor jtaylor
-
julianD-infiswift jdiaz
-
justcasino jcasino
-
kab11 kblack
-
kabascolby lkaba
-
kaidrumm kdrumm
-
katolikyan tkatolik
-
keenanromain kromain
-
khoab kbui
-
kialvare kialvare
-
kizombaciao cchao
-
kkb0227 kykim
-
kohlten astrole
-
krandum palatorr
-
kraxx jchow
-
ksaetern ksaetern
-
ksanabuka obuksha
-
ktjhan ktjhan
-
lahariganti lganti
-
laughtt jcarpio-
-
laurafiuza lfiuza
-
ldehaudt ldehaudt
-
leb9212 elee
-
lgutnikova lgutniko
-
lhurt51 lhurt
-
liuleen rliu
-
logankaser lkaser
-
lordmalvern bpuschel
-
lugokendra kelugo
-
lukefreeman42 llelias
-
lununglee llee
-
lxqnt aquint
-
maou100 feedme
-
marrodri marrodri
-
mashenkaPas mpas
-
mastrella mmastrel
-
matias-eduardo mfernand
-
mattpaulgill mgill
-
mauricechristopher mchristo
-
maxburs mburson
-
maxencejded mjacques
-
maxmoros mmoros
-
mecarney mcarney
-
mgia mtan
-
mhwangbo mhwangbo
-
michaelbrave mbrave
-
mikim42 mikim
-
mint42 rreedy
-
mirror12k nmoiseye
-
mjjply42 majones
-
moonsonu ksonu
-
motaylormo mtaylor
-
msyleung sleung
-
mueslimak3r calamber
-
mvann mvann
-
mzaneri mzaneri
-
naamoonoo hnam
-
naota650 lmartine
-
netanelweizman nweizman
-
nickdotht jrameau
-
nickisobrien nobrien
-
nikdanilov ndanilov
-
nilsonmolina nmolina
-
nlpope ezmaize
-
nmayfiel nmayfiel
-
nmei-42 nmei
-
notoriousgtw gwood
-
nyme92 muelfaha
-
okovko olkovale
-
panterarocks49 jbrown
-
paulrobertdoherty pdoherty
-
pdeguing pdeguing
-
peachesforfree sbalcort
-
perfect-cents bpezeshk
-
petrechenko apetrech
-
phoenixtahoe pdavid
-
pmclaugh pmclaugh
-
poh42 poh
-
pootitan juochen
-
prevelat fprevela
-
psprawka psprawka
-
pstringe pstringe
-
pthorell2 pthorell
-
qsenn35 imurawsk
-
qst0 myoung
-
queenieho qho
-
rafazrte rzarate
-
rdmcolorz tyang
-
reallocf csummers
-
recluse27 vlazuka
-
regien gmalpart
-
rene415 rramirez
-
riking kyork
-
rmanese rmanese
-
rmatos42 rmatos
-
robertnowell rnowell
-
roccaturi bburnley
-
rpassafaro rpassafa
-
rsilva42 rsilva
-
rubenxrb rromero
-
ruv1nce dfonarev
-
s-r-north snorth
-
samescolas sescolas
-
sandsalamand sgrindhe
-
sayakura qpeng
-
sbrowne217828 labrown
-
scamargo scamargo
-
sctru tchan
-
seanjones2848 sjones
-
seanwessmith ssmith
-
sechang11 sechang
-
sepicoder shomami
-
shagazi shagazi
-
sheldon-bai xbai
-
simonbharris sharris
-
sjatkins12 satkins
-
sjuery sjuery
-
slogos slogos
-
smonroe4242 smonroe
-
spoole50 spoole
-
ssalaues ssalaues
-
ssnelgrove314 ssnelgro
-
ssong42 ssong
-
stephen-gardner sgardner
-
stockle scollet
-
stubisdon dkotov
-
sudoryan rle
-
suedadam asyed
-
swp0107 thomkim
-
tapabratadey tadey
-
tasertasertaser cschulle
-
tcheee tcherret
-
temun17 atemunov
-
tfdiaz tdiaz
-
thatsmesasha ofedorov
-
the-neighbor adaly
-
thedgglmister biremong
-
theo-walton twalton
-
theporpoise mgould
-
thk2b tkobb
-
tle-huu tle-huu-
-
tmacro tmckinno
-
tomateos tzhou
-
tpan tpan
-
trujillojosh jtrujill
-
ttran42 ttran
-
uniquehash obelange
-
villabryan88 bvilla
-
vkostenk vkostenk
-
vongdarakia avongdar
-
vwade viwade
-
vyudushk vyudushk
-
wingren013 smifsud
-
wobula rschramm
-
wright08 rwright
-
wtasman wasman
-
wubswurld jawatter
-
wutschkef42 fwutschk
-
wweathers wiweathe
-
xlz447 xzhu
-
xterri thuynh
-
yayimadinosaur wfung
-
yenertuz ytuz
-
yixuandang ydang
-
ynenakho ynenakho
-
yosefserkez yserkez
-
youngalou lyoung
-
zedin27 ztisnes
-
zhagm zmagauin
-
zhenya-mamenko emamenko
-
zill4 jcrisp
-
zinartcode azinnatu
-
ziyanfeng zfeng
-
zomsc esurdam
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Agda 5 Updated Sep 9
- ABAP
- ANTLR
- APL
- ASL
- ASP
- ATS
- ActionScript
- Agda
- AppleScript
- Arc
- AsciiDoc
- Assembly
- Astro
- AutoHotkey
- AutoIt
- Awk
- Batchfile
- BitBake
- Blade
- Brainfuck
- Brightscript
- C
- C#
- C++
- CMake
- COBOL
- CSS
- CWeb
- CartoCSS
- Chapel
- Circom
- Cirru
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- EJS
- Elixir
- Elm
- Emacs Lisp
- F#
- Fennel
- Fortran
- G-code
- GDB
- GDScript
- GLSL
- Game Maker Language
- Gherkin
- Go
- Groff
- Groovy
- HCL
- HLSL
- HTML
- Hack
- Haml
- Handlebars
- Haskell
- Haxe
- HolyC
- Hy
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- KakouneScript
- KerboScript
- Kotlin
- LLVM
- Lean
- Less
- Limbo
- Liquid
- Lua
- M
- MATLAB
- MAXScript
- MDX
- MQL4
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Matlab
- Mercury
- Metal
- Mojo
- Mustache
- NASL
- NSIS
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenEdge ABL
- OpenSCAD
- Org
- PHP
- PLpgSQL
- Pascal
- Perl
- Perl6
- PostScript
- PowerShell
- Processing
- Prolog
- Pug
- PureScript
- Python
- QML
- R
- Racket
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Sass
- Scala
- Scheme
- ShaderLab
- Shell
- Slash
- Smalltalk
- Smarty
- Solidity
- SourcePawn
- Stan
- Standard ML
- Starlark
- Stylus
- Svelte
- Swift
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vim script
- VimL
- Visual Basic
- Visual Basic .NET
- Vue
- Web Ontology Language
- WebAssembly
- XSLT
- Yacc
- ZenScript
- Zig
- ooc
- xBase