https://github.com/the-little-prover/j-bob

https://github.com/the-little-prover/j-bob

Last synced: 5 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/the-little-prover/j-bob
• Owner: the-little-prover
• License: bsd-2-clause
• Created: 2015-07-03T02:59:25.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2024-02-08T21:26:42.000Z (9 months ago)
• Last Synced: 2024-08-01T22:54:32.568Z (3 months ago)
• Language: Scheme
• Size: 18.6 KB
• Stars: 419
• Watchers: 32
• Forks: 62
• Open Issues: 6

Awesome Lists containing this project