Carnap – A formal logic framework for Haskell (carnap.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of carnap.io: Carnap – A formal logic framework for Haskell

First screen, captured 10 months ago.

Looks similar

Screenshot of texmacs.org: GNU Texmacs

GNU Texmacs (texmacs.org)

175 points by remywang 8 months ago | 48 comments

Screenshot of mathjax.org: MathJax: Beautiful and accessible math in all browsers

MathJax: Beautiful and accessible math in all browsers (mathjax.org)

199 points by peter_d_sherman 3 years ago | 74 comments

Screenshot of openapistack.co: Show HN: REST Alternative to GraphQL and tRPC

Show HN: REST Alternative to GraphQL and tRPC (openapistack.co)

106 points by anttiviljami 3 years ago | 61 comments

Screenshot of minizinc.org: MiniZinc

MiniZinc (minizinc.org)

222 points by gavi 3 years ago | 65 comments

Screenshot of starlark-lang.org: Starlark Programming Language

Starlark Programming Language (starlark-lang.org)

123 points by laurentlb 1 year ago | 112 comments

Screenshot of cro.raku.org: Cro – elegant reactive services in Raku

Cro – elegant reactive services in Raku (cro.raku.org)

21 points by giancarlostoro 2 months ago | 2 comments