All projects of marcoheisig

marcoheisig/ucons
marcoheisig/simplified-types Simplification of Common Lisp type specifiers.
marcoheisig/the-cost-of-nothing Determine the cost of things in Common Lisp.
marcoheisig/cl-mpi MPI bindings for Common Lisp with many useful extras
marcoheisig/restricted-functions Reasoning about functions with restricted argument types.
marcoheisig/Petalisp Elegant High Performance Computing