Lib.rs

› Hardware support | Programming languages
#driver #kind #compiler

kind-driver

Owned by Sofia Rodrigues.

4 releases

0.1.3 May 11, 2023
0.1.2 Apr 2, 2023
0.1.1 Mar 3, 2023
0.1.0 Jan 27, 2023

#1489 in Hardware support


Used in kind2

MIT license

26KB
606 lines

Driver for the kind compiler

Dependencies

~16–25MB
~317K SLoC