Anyone knows more about this? [Clojure formal verification using Boogie] |

Numerical Linear Algebra for Programmers | New Release 0.4.0 + Orthogonalization and Least Squares |

Is there anybody are using weblocks for web development? |

Next Scicloj web meeting: Tommi Reiman about Malli -- plain data schemas in Clojure/Script |

What would be the CL equivalent of "core link devices" described here? |

akamai/cl-http2-protocol: HTTP/2 interop library in Common Lisp |

brandonbloom/backtick: Clojure's syntax-quote reader macro as a normal macro |

Recommendations for learning algorithms and data structures? |

Show more