Y
Hacker News
new
|
ask
|
show
|
jobs
user:
tmtvl
created:
2022-09-11
karma:
3752
Mantis fist practitioner living in Belgium. Daily driving GNU/Linux since 2012. Interested in C, Scheme, Lisp, Perl, and Java.
Reach me at tmt_vdl@gmx.com.
submissions:
Steel Bank Common Lisp version 2.6.7
215 points
|
91 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
The Dracula programming environment for ACL2
4 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments