Programming Systems Laboratory @ KAIST
The window through which you see the SW world
- 29 followers
- Daejeon, Korea
Pinned Loading
Repositories
Showing 10 of 58 repositories
- expecto-artifact Public
prosyslab/expecto-artifact’s past year of commit activity - wasmtime Public Forked from bytecodealliance/wasmtime
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
prosyslab/wasmtime’s past year of commit activity - nl-2-postcond Public Forked from microsoft/intent-formalization
Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages
prosyslab/nl-2-postcond’s past year of commit activity - prosyslab.github.io Public
prosyslab/prosyslab.github.io’s past year of commit activity - rustc_codegen_cranelift Public Forked from rust-lang/rustc_codegen_cranelift
Cranelift based backend for rustc
prosyslab/rustc_codegen_cranelift’s past year of commit activity - sightglass Public Forked from bytecodealliance/sightglass
A benchmark suite and tool to compare different implementations of the same primitives.
prosyslab/sightglass’s past year of commit activity - logger Public
prosyslab/logger’s past year of commit activity - alive-nj Public Forked from rutgers-apl/alive-nj
Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
prosyslab/alive-nj’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…