krs85
"Anybody who comes to you and says he has a perfect language is either naïve or a salesman." -- Bjarne Stroustrup
Pinned Repositories
dettrace
A determinizing tracer using Ptrace
advent_of_code_2020
baby_rust_project
c-example
example code
Concurrent-Programming
CS350
CS370
krs85.github.io
ProcessCache
ProcessCache
differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
krs85's Repositories
krs85/krs85.github.io
krs85/advent_of_code_2020
krs85/baby_rust_project
krs85/c-example
example code
krs85/Concurrent-Programming
krs85/CS350
krs85/CS370
krs85/CS380
krs85/cuddly-octo-waddle
Dummy repo for explaining the git rebase workflow
krs85/differential-datalog
An in-memory incremental Datalog engine based on Differential Dataflow
krs85/DUStudyBuddies
krs85/haskellwork
krs85/homeworks
CS 360 homework templates
krs85/independentstudy
krs85/ProcessCache
ProcessCache
krs85/rust-projects
krs85/Systems-Programming-Shell-Project