Proprietario
CakeML
4 repository indicizzati · Vedi su GitHub
-
cakeml
CakeML: A Verified Implementation of ML
Standard ML · 1193 stelle
-
pure
A verified compiler for a lazy functional language
Standard ML · 44 stelle
-
regression
Regression testing infrastructure for CakeML
Standard ML · 4 stelle
-
Standard ML · 2 stelle
-
help wanted high effort medium reward translator
CakeML/cakeml#9 · 1 commento · 0 reazioni · 1 assegnatario ·
-
help wanted medium reward
CakeML/cakeml#38 · 6 commenti · 0 reazioni · 2 assegnatari ·
-
enhancement low effort
CakeML/cakeml#55 · 3 commenti · 0 reazioni · 2 assegnatari ·
-
more readable grammar Apertahelp wanted medium effort medium reward
CakeML/cakeml#94 · 2 commenti · 0 reazioni · 1 assegnatario ·
-
enhancement help wanted translator
CakeML/cakeml#96 · 3 commenti · 0 reazioni · 0 assegnatari ·
-
code size enhancement high effort low reward
CakeML/cakeml#114 · 1 commento · 0 reazioni · 0 assegnatari ·
-
CakeML/cakeml#118 · 8 commenti · 0 reazioni · 0 assegnatari ·
-
help wanted low reward medium effort
CakeML/cakeml#136 · 8 commenti · 0 reazioni · 1 assegnatario ·
-
enhancement help wanted medium effort medium reward performance
CakeML/cakeml#142 · 1 commento · 0 reazioni · 1 assegnatario ·
-
dev experience medium reward tooling
CakeML/cakeml#152 · 9 commenti · 0 reazioni · 1 assegnatario ·
-
enhancement help wanted high effort low reward
CakeML/cakeml#155 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
help wanted low effort translator
CakeML/cakeml#181 · 1 commento · 0 reazioni · 0 assegnatari ·
-
low effort low reward
CakeML/cakeml#183 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
good first issue help wanted low effort medium reward
CakeML/cakeml#186 · 1 commento · 0 reazioni · 0 assegnatari ·
-
CakeML/cakeml#216 · 5 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue performance
CakeML/cakeml#246 · 6 commenti · 0 reazioni · 1 assegnatario ·
-
enhancement good first issue help wanted
CakeML/cakeml#248 · 11 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement help wanted high effort low reward user experience
CakeML/cakeml#264 · 8 commenti · 0 reazioni · 2 assegnatari ·
-
high effort medium reward student project
CakeML/cakeml#267 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement user experience
CakeML/cakeml#271 · 3 commenti · 0 reazioni · 1 assegnatario ·
-
Add word shifts to basis Apertaenhancement help wanted
CakeML/cakeml#274 · 4 commenti · 0 reazioni · 1 assegnatario ·
-
CakeML/cakeml#321 · 10 commenti · 0 reazioni · 1 assegnatario ·
-
Implement lexer on mlstrings Apertahelp wanted
CakeML/cakeml#353 · 3 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue help wanted user experience
CakeML/cakeml#355 · 5 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement medium effort medium reward student project
CakeML/cakeml#367 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement medium effort medium reward
CakeML/cakeml#368 · 1 commento · 0 reazioni · 0 assegnatari ·
-
Implement make_ex in CakeML Apertagood first issue tooling
CakeML/cakeml#380 · 1 commento · 0 reazioni · 0 assegnatari ·
-
enhancement medium effort medium reward
CakeML/cakeml#411 · 1 commento · 0 reazioni · 0 assegnatari ·
-
enhancement help wanted high effort
CakeML/cakeml#454 · 1 commento · 0 reazioni · 0 assegnatari ·
-
enhancement high effort medium reward student project
CakeML/cakeml#474 · 4 commenti · 0 reazioni · 1 assegnatario ·
-
dev experience help wanted low reward
CakeML/cakeml#480 · 7 commenti · 0 reazioni · 0 assegnatari ·
-
CakeML/cakeml#493 · 12 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement high effort medium reward
CakeML/cakeml#499 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
help wanted
CakeML/cakeml#516 · 1 commento · 0 reazioni · 0 assegnatari ·
-
dev experience low effort translator
CakeML/cakeml#546 · 5 commenti · 0 reazioni · 1 assegnatario ·
-
Upstream misc Apertarefactoring
CakeML/cakeml#549 · 2 commenti · 0 reazioni · 2 assegnatari ·
-
dev experience help wanted refactoring
CakeML/cakeml#555 · 1 commento · 0 reazioni · 0 assegnatari ·
-
refactoring
CakeML/cakeml#573 · 12 commenti · 0 reazioni · 0 assegnatari ·
-
CakeML/cakeml#579 · 3 commenti · 0 reazioni · 1 assegnatario ·
-
help wanted
CakeML/cakeml#580 · 1 commento · 0 reazioni · 0 assegnatari ·
-
Lint Holmakefile format more Apertadev experience enhancement tooling
CakeML/cakeml#586 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Lint theory names Apertadev experience help wanted tooling
CakeML/cakeml#602 · 1 commento · 0 reazioni · 0 assegnatari ·
-
tooling
CakeML/cakeml#603 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
help wanted tooling
CakeML/cakeml#614 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement
CakeML/cakeml#640 · 4 commenti · 0 reazioni · 0 assegnatari ·
-
refactoring
CakeML/cakeml#644 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
Implement lexer on a stream Aperta
CakeML/cakeml#645 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
CakeML/cakeml#647 · 1 commento · 0 reazioni · 0 assegnatari ·
-
refactoring
CakeML/cakeml#649 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
refactoring
CakeML/cakeml#662 · 2 commenti · 1 reazione · 0 assegnatari ·
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.