- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
HScheme is a Scheme interpreter written in Haskell, available as both interactive interpreter and extension library for other Haskell projects. Think 'Guile for Haskell'.
An R5RS Scheme interpreter and library written in Haskell. Provides advanced features including continuations, hygienic macros, and the full numeric tower.