Scala

scalariform

Scala source code formatter

1.7k

Scala

FastView Compare

  3.3k

.NET/C#

P

The P programming language.

2.6k

C#

FastView Compare

  1.8k

未分类

HACL*

HACL*，一个用 F* 编写的经过正式验证的加密库。「HACL*, a formally verified crypt...

1.7k

F*

FastView Compare

研究工具

ACL2系统和社区书籍

由社区维护的 ACL2 系统和书籍。「ACL2 System and Books as Maintained by th...

2.1k

Common Lisp

FastView Compare