GitHub - fixpoint-linux/fx-core: fixpoint-linux coreutils in the fixpoint style (Dhall-typed args, Datalog/DAFSA, determinism, time-travel) · GitHub

Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
build.zig		build.zig
build.zig.zon		build.zig.zon
concept.md		concept.md

About

fixpoint-linux coreutils in the fixpoint style (Dhall-typed args, Datalog/DAFSA, determinism, time-travel)

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages