nikodemus/screamer
View on GitHub ↗ ★ 258 Common Lisp
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2014-11-20 · latest 2025-11-27
20082026
-
…prolog/backtracking on top of lisp is certainly possible and not even too hard (see e.g. https://github.com/nikodemus/screamer ) and implementing Coq on top of lisp is also possible. but IMO the "with ease" phrase is not justified in this…
comment by attila-lendvai · 2025-11-27 · in Coq: The World's Best Macro Assembler? (2013) [pdf] -
…it. There are no surprises. In terms of conceptual beauty, it'd be hard to beat Screamer ( https://github.com/nikodemus/screamer ). What makes this beautiful? The way it makes a hairy problem seem simple and straight-forward.
comment by stray · 2016-03-13 · in Ask HN: What are some examples of beautiful software? -
Probabilistic programming in Common Lisp: https://github.com/nikodemus/screamer
comment by typedweb · 2015-04-12 · in The State of Probabilistic Programming -
…/weitz.de/eclm2008/Selvaag%20Bluethink%20House%20Desig... https://www.youtube.com/watch?v=usoKR80tWzw https://github.com/nikodemus/screamer
comment by sedachv · 2014-11-20 · in Automated CAD