Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for common lisp acl

acl x
common-lisp x
10 search results found
Acl2 ⭐ 326
ACL2 System and Books as Maintained by the Community
Shop3 ⭐ 137
SHOP3 Git repository
Cm ⭐ 17
Common Music 2.12 by Rick Taube. Also check out the related cm-incudine, cm-fomus, cm-utils and cm-svg repos here.
Planet Wars ⭐ 13
Winning bot of Planet Wars Google AI Challenge in 2010.
Clx ⭐ 12
Common Lisp X11 interface
Cl Zeroconf ⭐ 11
A Common Lisp interface to Apple's open source implementation of the Zeroconf service discovery protocol (Bonjour).
Galton ⭐ 9
Toy webapp for publishing questionnaires.
Common Lisp Persistency Manager ⭐ 7
A File-Based Fully Automatic Lisp Datastructure Serializer / Persistency Manager, Similar to "Pickle" for Python
Tester ⭐ 5
Tester framework for Common Lisp
Smtlink ⭐ 5
Integrate the Smtlink solver Z3 into the theorem prover ACL2.
Related Searches
Emacs Common Lisp (136)
Bindings Common Lisp (133)
Common Lisp Repl (122)
Video Game Common Lisp (122)
Common Lisp Cffi (116)
Testing Common Lisp (93)
Common Lisp Macro (87)
Language Common Lisp (86)
1-10 of 10 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.