5.7k

未分类

logisim-evolution

Digital logic designer and simulator

3.2k

Java

FastView Compare

  10.2k

图形、动画和媒体处理

loaders.css

令人愉悦的、注重性能的纯 CSS 加载动画。「Delightful, performance-focused pure ...

2.2k

CSS

FastView Compare

  5.3k

未分类

plt

λΠ Programming Language Theory

2.3k

CSS

FastView Compare

研究工具

ACL2系统和社区书籍

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

2k

Common Lisp

FastView Compare