数学

Maxima

Maxima，一个计算机代数系统。(Maxima, a Computer Algebra System)

3.9k

Common Lisp

快速查看 比較

Android

ecl-android

Patches for ECL to run on android iOS and Native client (Obs...

1.7k

Common Lisp

快速查看 比較

  1.3k

未分类

woo

A fast non-blocking HTTP server on top of libev

2k

Common Lisp

快速查看 比較

  5.8k

未分类

PGLoader

只需一条命令即可迁移到 PostgreSQL！「Migrate to PostgreSQL in a single co...

1.7k

Common Lisp

快速查看 比較

研究工具

ACL2系统和社区书籍

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

2.2k

Common Lisp

快速查看 比較

Go

lhttp

go websocket, a better way to buid your IM server

2.3k

Go

快速查看 比較

  21.1k

Perl

cloc

cloc counts blank lines, comment lines, and physical lines o...

4.6k

Perl

快速查看 比較

  1.3k

Go

bytebufferpool

Anti-memory-waste byte buffer pool

1.3k

Go

快速查看 比較

  2.8k

未分类

awesome-cl

A curated list of awesome Common Lisp frameworks, libraries ...

1.8k

Makefile

快速查看 比較

未分类

Raspberry PI SD Installer OS X

用于在 OS X 上创建 Raspberry PI SD 卡的 Shell 脚本。「Shell Script for c...

1.1k

Shell

快速查看 比較

Go

go-system-programming

Go System Programming

1.1k

Go

快速查看 比較

未分类

cormanlisp

Corman Lisp

1.6k

Common Lisp

快速查看 比較