Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
lispy-gopher-show.itch.io
6
posts in the last 30 days ·
See all subdomains of itch.io
Hexagons
, common lisp interface manager graphics and
acl2
first order logic automatic proofs in one place
lispy-gopher-show.itch.io
·
17h
Small and beautiful common
lisp
conditions like unix
piping
lispy-gopher-show.itch.io
·
1w
LambdaMOOing
at all + me working around classic 32
bit
-> modern 64
bit
core database problem
lispy-gopher-show.itch.io
·
2w
Summary how common lisp conditions line up to the
acl2
theorem + accidental common lisp
metaobject
protocol e.g.
lispy-gopher-show.itch.io
·
2w
Homespun
acl2
handler-bind condition handling
lispy-gopher-show.itch.io
·
2w
Simple
handler/restart
basis for
lispmoo2
take 2
lispy-gopher-show.itch.io
·
2w
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help