@hackage / atto-lisp

Efficient parsing and serialisation of S-Expressions.

0.2.2.3

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / ghc-server None
- Version: 1.2
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / modulo Modular C code generator
- Version: 1.9.1
- Last uploaded: 12 years ago
- License: GPL-3.0-only
@hackage / present Make presentations for data types.
- Version: 4.1.0
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / smtlib2 A type-safe interface to communicate with an SMT solver.
- Version: 1.0
- Last uploaded: 4 years ago
- License: GPL-3.0-only
@hackage / smtlib2-debug Dump the communication with an SMT solver for debugging purposes.
- Version: 1.0
- Last uploaded: 9 years ago
- License: GPL-3.0-only
@hackage / smtlib2-pipe A type-safe interface to communicate with an SMT solver.
- Version: 1.0
- Last uploaded: 9 years ago
- License: GPL-3.0-only
@hackage / tpdb Data Type for Rewriting Systems
- Version: 2.9.0
- Last uploaded: 3 weeks ago
- License: GPL-3.0-only