ya0guang/PoBF ya0guang/PoBF

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Jupyter Notebook
  • License
    Apache License 2.0
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ya0guang/PoBF
github

ya0guang

Reviews

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

Repository Details

Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.

More Repositories

1

ProgrammingLanguageCourse

for IU B521, personal use only
Racket
4
star
2

ya0guang.github.io

https://ya0guang.com
HTML
3
star
3

InitScripts

Initialization scripts for my environment
Shell
2
star
4

xinu-S20

Spring'20 OS
C
2
star
5

RaspiCar

A automated car based on Raspberry Pi
Python
2
star
6

memory-errors

Collection of snippets of different type of memory errors.
C
1
star
7

FormalAnalysisStudy

Notes of Formal Verifacation
C
1
star
8

ToyPythonCompiler

For IU Compiler course
Python
1
star