argumentcomputer/Wasm.lean

Ver en GitHub

A WebAssembly implementation in Lean4

Estrellas: 48
Forks: 6
Issues abiertos para principiantes: 0
Issues indexados: 11

Lenguaje dominante: Lean
Licencia: MIT
Último push a GitHub: 13/12/2023
Última indexación: 14/9/2026
Guía de contribución: Sin guía de contribución
Código de conducta: Sin código de conducta
Etiquetas para principiantes: Sin etiquetas para principiantes indexadas
Métricas de merge de PR: Sin PR fusionados en 30 d

Para principiantes Todo

Abierto Todos

Epic: Send a script to a Rust programmer, explain constraints and support running a program they come up with within these constraints. Abierto

epic

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

argumentcomputer/Wasm.lean#67 · Abierto el 7/4/2023
Benchmarking: We should benchmark NOW so that we know the broad strokes performance Abierto

highpriority

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

argumentcomputer/Wasm.lean#66 · Abierto el 7/4/2023
Use the currently blessed way to get the wasm-sandbox in CI Abierto

lowpriority

Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100

argumentcomputer/Wasm.lean#61 · Abierto el 27/3/2023
Make sure that the demo instruction from the README works with the new demo Abierto

lowpriority

Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

argumentcomputer/Wasm.lean#59 · Abierto el 27/3/2023
Check that mac os users can run `get` script without errors Abierto

lowpriority

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

argumentcomputer/Wasm.lean#54 · Abierto el 15/3/2023
Be able to run meaningful program Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

argumentcomputer/Wasm.lean#47 · 1 comentario · Abierto el 1/3/2023
Safety: Bit sizes and overflows Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

argumentcomputer/Wasm.lean#37 · Abierto el 9/2/2023
Clarification: Why did this help? Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

argumentcomputer/Wasm.lean#27 · Abierto el 14/12/2022
Bug: We use `sorry` instead of `sepEndBy`, we need to implement it in `zepto` branch Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

argumentcomputer/Wasm.lean#26 · Abierto el 13/12/2022
Bug: Investigate if using `option` instead of `option'` is OK in `zepto` branch Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

argumentcomputer/Wasm.lean#25 · 2 comentarios · Abierto el 13/12/2022
Feature: Implement float binary encoding Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

argumentcomputer/Wasm.lean#15 · Abierto el 28/11/2022

argumentcomputer/Wasm.lean

Recibe los nuevos issues en tu correo