kaist-cp/kecc-public kaist-cp/kecc-public

  • Stars
    star
    87
  • Rank 367,790 (Top 8 %)
  • Language
    Rust
  • Created about 4 years ago
  • Updated 22 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kaist-cp/kecc-public
github

kaist-cp

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

More Repositories

1

cs431

Rust
1,347
star
2

cs420

KAIST CS420: Compiler Design (2023 Spring)
376
star
3

cs220

Rust
209
star
4

rv6

C
120
star
5

rust-school

73
star
6

shakeflow

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
Rust
45
star
7

smr-benchmark

Rust
28
star
8

cs500

Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500
25
star
9

helpdesk

Emacs Lisp
23
star
10

memento

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
Rust
15
star
11

software-foundations

Unofficial Mirror of Software Foundations (https://softwarefoundations.cis.upenn.edu/)
HTML
10
star
12

study-csl

Coq
9
star
13

kaist-cp.github.io

Ruby
6
star
14

hp-plus

HP++: A Hazard Pointers Extension for Better Applicability
Rust
4
star
15

chase-lev-verification

Coq
3
star
16

view-hw

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Coq
3
star
17

smr-verification

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)
Coq
2
star
18

rmem-persistency

JavaScript
2
star
19

cs230

Moved to https://cp-git.kaist.ac.kr/cs230/cs230
2
star
20

events

1
star
21

as602

TeX
1
star